chiark / gitweb /
correct doc comment re EntryExtra