#71 Opens extensions and extension-definitions in source code editor