Kill the now obsolete docs/Configure.help file, and move all existing