Revert "removed prettify, since it broke markdown exports"

This reverts commit 8e023a2663147c82c1f9985c18e66469166cdb1b.
Apparently this breaks markdown