We do.
That's orthogonal to this. Closed-source in extras (non-free) may be fine, copyright infringement isn't.
It's better to describe these as "proprietary home computer rom images" instead of "copyrighted home computer rom images". Most of the software in the repository is copyrighted, but it's legal to distribute it when it's open-source licensed rather than proprietary. Terminology matters.