Add PDF manual back, fix image sizes, upgrade CodeMirror.
Merge pull request #2454 from nawroth/add-pdf-fix-images

Add PDF manual back, fix image sizes, upgrade CodeMirror.