Yeah, the end goal is for neither shell_tab.js or editor_tab.js to longer exist as they are right nowl.