Simplify documentation title, see if that fixes PDF builds