Plugin Manager - Option to rename plugins