remove google prettify, move it to wp-editor coder add-on.