Donuts isn't a registrar, they're a company that got setup when ICANN started allowing anyone to apply to create gTLDs, and they really innovated on setting up tons of them for profit. They own the .company TLD.
The company being filed 9/1 is a bit suspicious, but I guess that’s a bit before the announcement. That companies manager matches the name at the bottom of this page so it’s definitely the same LLC