KnownExtension.xml
file retaining a record on the history of all the plugins.Might get bored this weekend to review the entire list and all the XML files, such as @doskabouter plugin entry that is missing "master/" in the URL and causing a 404.
Good thing there are people cleaning up old stuff!
Which plugin of mine do you mean?