Tag Replacer cannot change tag capitalization

[marcustyphoon]

Platform

macOS 14.4.1 arm64

Browser

Chrome 127.0.6533.120

Addon version

1.0.1

Details

Tag Replacer doesn't remove-then-add the same tag, which is normally a good thing, as that would be a waste of time and API requests. This, however, includes tags of different cases, which means that one cannot use it to change a tag from uppercase to lowercase, for example.

Implementing this as a feature would not be entirely trivial (must remove-then-add, which I prefer not to do unless addressing #935), and I have never heard a user request for this, so I'm tempted to call it a wontfix for now.

If this is something you want to be able to do, however, reply here!

[stale]

This issue is unconfirmed, and has been labelled as stale due to inactivity. It will be closed automatically if no further activity occurs.

A project maintainer can mark an issue as confirmed by adding the help wanted label, the wontfix label, or an assignee.