chiark / gitweb /
dot/profile: Use control sequences rather than overstriking in man pages.