Miscellaneous

Note:
This website has been created shortly after the release of the Mosaic
web browser in 1993. Its content has been kept up-to-date ever since.
Its look has been changed for the first time in July 2017, using a
simple css file.