Elsewhere
Elsewhere on the web.
Places you can find me beyond this site. Edit
content/pages/elsewhere.md to fill these in.
§1Code
GitHub, occasionally. Most of what is interesting is private.
§2Reading
A long-neglected reading list lives at to be filled in.
§3Social
I do not use social media much. The contact page is the better address.