Fix the PDF docs build
Symbols get mangled without double-underscores now