2022-11-03 UTC
# 
[snarfed] unrelated, just discovered that GitHub evidently doesn't index user profile URLs. https://github.com/search?q=www.timothychambers.net&type=users doesn't find https://github.com/Timothyjchambers , nor does removing the www. or adding http:// . 😢