Thanks for participating in the theme poll! Your vote was for antitheme, with your last commit message reading Undo my vote for "other" theme, since I use the antitheme with local.css.

The intention of the poll choice was to capture people using the antitheme with only light modifications: if you've done any kind of theming or styling via local.css, the more appropriate poll choice would be "Other". — Jon, 2024-09-05

Thanks for the clarification, I've changed my vote to "other" in Change my vote from antitheme to "other" theme to better reflect that I customised the antitheme :-).