Rename symbols #2324
Description
Is your feature request related to a problem? Please describe.
Split off from #2322
Describe the solution you'd like
An API like,
lib.rename(from="sym", to="new_sym")
to rename a symbol.
In theory this should be quite straightforward (write a new vref with the new symbol name, then delete the old one). But would need a lot of testing to make sure that we never use the symbol ID from keys other than the version ref key at the top.