Tag capitalization

Beanmin · 2025-10-29T11:06:57+00:00

Is there any option to ignore capitalization when creating/editing tags? For instance, Covid-19, COVID-19, and covid-19 show up as 3 different tags. It would be helpful to have an option to combine them and ignore capitalization in future tag creation.

AbeJellinek · 2025-10-30T19:07:53+00:00

I believe making tags case-insensitive is planned (we have an issue filed for it). For now, in the tag selector at the bottom-left, you can right-click the tag with the casing you don't want and rename it to the casing that you prefer. The two tags will be merged.