Renaming tags
Select #Tags, then click the 3 vertical dots next to the tag you'd like to rename.
Merging tags
Click 'Merge with' to merge two tags and their highlights together.
You can also drag and drop tags from one tag group to another. You can also rename tags, rename or delete tag groups, and do other actions using the kebab menus for the individual tags or the groups.