chiark / gitweb /
Include copyright and stuff; change aargh to more normal one.