render_body_server.js is no longer necessary, it's been moved to dc-code-editor