I’d been long putting off updating from the WordPress default links on here for some reason. But no longer! Gaze at the blog’s sidebar and its gradually growing collection of more or less relevant information from around the web.
My humble About page, which I thought I had published months ago (what do you mean there’s no default link to it?), is also now accessible.
— Edit @ 0:48: there is now also a Notation page in case anyone is getting confused about all the abbreviations etc. thrown around here.