Include prettify.js local copies into project to avoid security problems
Documentation: add mates to Points