for what i've invested in my site, it's now probably time to move it off github.io on my own domain
a Schelling point for those who seek one
