Bug #489256: remove out of date and out of place profile.doc, and let

profile.help() point at the library reference instead of profile.doc.