Some tweaks for Tree Style Tab extension, an example restartless extension, see https://github.com/piroor/treestyletab/issues/384 for details