Fix bug 1073300: Remove anonymous database docs
fix bug 795272 - Convert non-breaking spaces in header ids to underscores