Comments

• desired function: merge tags (e.g., duplicate tags that differ only in capitalization) by drag and dropping one tag to change onto the one that is spelled as it should be changed to.

  in Tags - what could be improved Comment by kateschneider April 13, 2023