I’ve changed the name of several plugins at various times, and while the “public facing” name is updated, the old (previous) name remains in the “private” listing on the My Plugins page. I find that rather confusing and annoying, and it only gets worse the more plugins whose names are changed.
Is there any way to update the “private” name?