doc: Remove sed-based renaming, just use doxygen's built-in preprocessing

Doxygen's latex escaping vary a lot with the context and the doxygen version
(one or two \- around each \_ and sometimes between capitals too).
Don't bother applying many complex regexps with wildcards, it doesn't scale.
doxygen can do it early for us.