Plugin Manager - Option to rename plugins

+1

I’ve started, inadvertently, a 2nd thread for this topic:

Best Regards