chiark / gitweb /
document current behaviour