Code Editor : extend-extensions.html