Bash: make man pages more readable.