Remove files no longer referenced

[github-actions]

This removes previously extracted files that are no longer referenced in browser-specs

[dontcallmedom]

not sure what do with this - on the one hand, it will remain in the curated package no matter what thanks to the freezepatch; on the other hand, the only reason to remove it from main is that our "remove file" job will keep insisting on it until the spec is fixed

[tidoust]

Ah yes, I hadn't thought about that...

We added a "manual removal" mechanism to avoid running into situations where an extract would come and go with every crawl due to transient network errors or short-lived spec hiccups. The need to use a "freeze" patch should signal that the problem is not a pure transient error. I think it's fine to remove the file from the main branch in such cases while the underlying problem gets fixed. That would bring us closer to the "raw truth" that the main branch represents: there's no way to get this IDL extract from the spec for now.

[dontcallmedom]

thanks, that sounds like a good principle to follow, indeed