Diarium version: 2.8.12
OS + version: Android Version 12
Scenario example: I have 12 tags called "Ramen". It has a capital "r". I have 3 tags called "ramen" with lowercase "r". I want to merge the two tags together. They are the same tags but what has a capital r and the other has a lower case r.