Add some spaces to try to get coqdoc working

The preformatted output looks wrong.
Change case on pseduofunctor section name

Now the tags/links in the html files point to the right places.