Hello Hammy,
That’s a good point. I think I wanted to use the default and easy WordPress functionality to remove the plugin, but I found nothing. Will revisit it.
Regarding the “edit repository URL” feature. I have already added it to the list and will try implementing it soon.
Thanks!