Archives by date

You are browsing the site archives by date.

that feeling when

When my webhost upgraded something, at some point during the past year—probably the database underlying this WordPress installation—the upgrade rotated Unicode code points a notch or two, such that — displays as — instead of — = em-dash. Though I won’t clean up the old note-taking/event posts, a few pages I care about are queued […]