chiark / gitweb /
doc/: Switch to a manually maintained bibliography database.