grr tedium

written 25 February 2025

This is a lot of work because this is such an old project that my repo is still named "master" instead of "main," which is what I think is messing things up.

Should be fixed now?