Try even more spaces to get coqdoc working