Aren't they hosted in GCW0 repo?
No. If I remember correctly, they were containing non-free assets that we can't host there.
Though if the emulators are fast and stable, they're usable in OPK form, they follow the porting guidelines
and the copyright violations are removed - they're very welcome into the repository.