Removed code for looking for PDF manual. It's no longer included
at all - so wouldn't exist for new users, and an online downloadable
version is linked to in the HTML guide.