Add PDF manual back, fix image sizes, upgrade CodeMirror.
Merge pull request #2432 from nawroth/pdf-and-fixes

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