hi,

is there a way to rename a tag? I have a tag named "Kripke" and I'd like to change it in "Philosophy: Kripke".

Is it possible? I only see buttons for adding or deleting tags, not renaming.

Thanks.