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