Pandoc write options
Pandoc export
Better error messages for unresolved names (TODO make whole rename module export safe API)
Merge branch 'master' into pandoc
Pandoc