I took the very sad decision to use JavaScript to include fixed parts of HTML into all pages. I hope this does not slow too much the page loading; if so, please let me know.