No problem, it was not a critique, but an observation, to ignore that.
It made me spend a lot of time adding a lot of IP addresses in SPF, while they were already associated to the spf.domain.tld in include: (SPF record).
However, a bit of warning about that would not hurt - on the contrary.
I wrote to them too.
Keep up the good work! 👍