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