A profile page at github.io, kept for historical reasons
The default GitHub Pages profile site I set up in 2017. Modest, unmaintained, and exactly the kind of artifact that proves how long this account has been doing this kind of work. Not interesting on its own. Interesting as a date stamp.