Make the <title>s of the doc pages less messy.