With the next version of this site postponed again, I decided to resolve some long standing issues with the current version, and make some changes as well:

You can finally press Enter when searching for stuff. This did not work because of a missing JS function.

Removed all local inclusions of CSS and JS and moved them back to separate files. I've also removed any dynamic JS code creation and replaced them with JS-only equivalents for cleaner code. As a result, I had to fix and/or modify several other functions on the site (search-within-section in particular).

Fixed listing of posts for a specific month. It did not work properly for months before October of each year due to a missing lead  ...