Reload 2023
More than five years without new content — that’s a new sad record, even for me. Time to change things. While originally this site was set up to run with HubPress, it never really worked up for as well as it promised in the beginning. Working with HubPress was hit and miss — for me it frequently lost its session context, losing some work done. Also it was pretty picky which browser it worked with. And finally, in 2019, HubPress got shut down. The GitHub repo is still around (archived, i.e. read-only), so there’s no hope the pending issues will ever see a fix.
Continue reading