2025-02-12: Switched to a new website generator. I hope nothing broke. 2025-01-11: Removed tons of pages. Cause: outdatedness & bad writing. 2024-08-24: Updated some files, too lazy to list 2024-05-18: Added /prog/mswm 2024-04-24: The site is now hopefully a bit easier to navigate. 2024-01-29: Moved to a new VPS, some downtime may have occured. 2023-12-11: Added /etc/styling.html 2023-11-25: Removed styling and cruft. 2023-11-24: Added /etc/barefoot.html 2023-11-16: The SSL certificates were expired for a day or so. 2023-09-01: Accidentally made the website inaccessible for half a day. File permission stuff.