If you are interested in this extension see bug #208777, which is about packaging tabextensions3 (with a new source package, as it seems more like a rewrite of version 2).
If you are interested in this extension see bug #208777, which is about packaging tabextensions3 (with a new source package, as it seems more like a rewrite of version 2).