Skip to main content

Site improvements in 2023

In 2023 I want to making this site better. Here is an unordered list of tasks that I would like to complete by the end of the year:

I’ll probably convert this list into GitHub issues like a good developer at some point in time. Until then!