Retained for archival purposes only.

Current (and most of the past) blogging happens at roub.net.