Minor Site Updates

No new content in this update.

Mostly an exercise in improving the site's performance and handling of favicons.

Update for 2026-01-21: The generation of favicons is now scripted.