Haddock documentation: expose exportPGF, some other small improvements
bugfix for unknown words