The website of David Hall
v11 - est. 2014
On this site I keep random stuff that might be useful, and the server hosts a number of websites for other people (who usually don't buy me so much as a beer for the service, grr). Anyway, make yourself at home.