chiark / gitweb /
Improve comments about extending source-info.txt