Hey, so I wrote the tfeldmann/Indicator library some time ago (Github Repo). I recently updated it and found a better name (tfeldmann/Blinkenlight). I then went and changed the name on github and in the library.json and library.properties.
At this time I did not know yet that the crawler picks these changes up, so I pio package publish-ed the new library again. Then I found I could not delete the old Indicator library after some amount of hours.
What is the best way to fix this?