This post by Rillke was moved on 2013-09-05. You can find it at Thread:MediaWiki talk:Gadget-CodeEditor.js/Tabs.