Reworked categories:
- RIP Journal. Its entries are moved under Notes now and tagged with “journal” and (if applicable) “weeknote”.
- Micro is now Notes. Microblogging was too specific. It’s just a collection of posts that aren’t articles.
- All the URL slugs were shortened, so instead of /category/articles/ it’s just /c/a/.
Updated robots.txt to allow access to /a/ and /c/a/, so bots could crawl articles, but not anything else. Not sure how the order of Allow/Disallow works exactly.