chiark / gitweb /
use miscpscolour instead of a lot of open-coded setgray