#WordPressPlugin: Allows you to use tabs in HTML post editor.