I did some fixes to the website structure. There should be only few noticeable
visible changes, but the underlying HTML and CSS are now defined better.
In particular, I reduced the number of <h1> tags on pages, fixed some
actual errors, and improved my knowledge on current HTML somewhat
(I did not realize, ending with /> on a void element has actually become a
discouraged practice).
