chiark / gitweb /
Formatting tweaks / index terms in Unequal docs.