Still have ugly hacks in my Gmail labels from bizarre & now-outdated requirements of the so-called Better Gmail extension by @ginatrapani