Hi folks,
We're discussing removing the "decoration" feature for tabs in the GUI. The dependency supporting them is large in size, outdated and unsupported (indeed, the code only exists in our repository as source, and Googling for the package shows KoLmafia's repositories as the first results)...