Alex Tweedly wrote: > It's (probably) a very old artifact - from the days of teletypes and > similar. Some old Unixes would print man pages using "doubled" letters > in the headers. Of course! The doubled letters are indeed bolded in the terminal window.... Thanks, Mark