(A web colophon outlines technical information about a website.)

See my contact information.

I previously used special fonts on this site, from the family Alegreya ht by Huerta Tipográfica and before that Linux Libertine and Biolinum. I found I preferred the site to load quickly and for the user to have the choice of font, so now I keep things more plain and simple. The stylesheet used for layout is by me and is inspired by that used in Spivak's maths textbook Calculus.

This website doesn't use cookies (or the maddening popups they require), web analytics, advertisting frameworks, or any other means of tracking your visits besides the information that appears in the Apache web server logs. In other words, there are no third-party trackers in use here.

On the subject of web 'monetisation', I was curious to see whether Flattr would ever lead to any microdonations for this site or any of the other site I've run. I understand it doesn't involve tracking but instead a simple metatag. Well, I've been a member of Flattr for eight years and received $0 so far. It's a nice idea though.

In opposition to the continuing wave of destruction of the open web, I offer content syndication here. Some pages, especially those based on lists of updates, have RSS 1.0 feeds. Why RSS 1.0? I am a big fan of the Semantic Web, which RSS 1.0 forms part of, and RSS 1.0 was the last open and agreed standard for site syndication. RIP Aaron Swartz. You can tell a page with content syndiction because the symbol RSS feed appears in the top-right header of the page. This symbol acts as a link to the feed itself — clicking it will display the source of the feed, allow the user to subscribe to the feed, etc. The feed URL is also embedded in the metadata for the page in the usual way.

I like to include lots of outlinks to other sites, because I think that makes browsing the web more interesting. Because of all this outlinking, I try to actively manage dead links on this site with an automated link checker. You may be at this page because you saw an access from my link checker in your web server's logs. The bot's User-Agent header is simply: (+

I also consider links to paywalled material as being broken, but there's no standard way to check this. HTTP response code 402 means 'Payment Required', but I don't this is how most paywalls work.

The link checker obeys the robots exclusion standard, but if you feel that the link checker is causing you problems, please contact me and I'll omit your site(s) from the link checking.