chiark / gitweb /
minor improvements and a todo, prompted by docs work