Right but sometimes plug-ins get delisted so I didn’t know how frequently that happens. I know it does occasionally on chrome store.
Ah it’s open source though, so someone can just fork it and publish it with their dev account https://github.com/ursuscamp/nostore