> Following the failure to renew, the domain then went into a grace period but when that expired too, it appears to have been removed from DNS records.
Well there should still be a redemption and "pending delete" period [0]. I believe the original owner can still reclaim during those.
[0] https://www.cloudflare.com/learning/dns/glossary/expired-dom...
Source: Used to work at registrar.