Probably. A friend of mine who is a big user of atariage.com told me they'd been “cleaning” a number of things up for months which all makes sense now ahead of the acquisition.
Fact is if anyone wants Atari ROMs they are massively easy to find online, though. Heck, you can even find them on archive.org at this point.