Tagged revisions available in hosted documentation

In general, versions as declared by tags in git should be available in the documentation.

<img width="1872" height="791" alt="Image" src="https://github.com/user-attachments/assets/8e86a30a-d152-454f-8323-cb6ac5b5542e" />

Did we avoid that for space reasons?

At least the v0.5 release versions should be available for a long time.