[mcintyre1994]

Still 404 for me, but so is Google's cached link - really weird. If anyone else has the same, it's on archive.org too: https://web.archive.org/web/20180730114747/https://hpjansson...

[hpjansson]

Just in case: My web server kind of went out in a blaze of glory earlier today when the link popped up here. It's a small linode, but I made some adjustments (mysqld, how does it work?), so it should be less bad now. Sorry about that!