I could certainly add a feature request for this. However, I don't think it is practical to manually add SPF records for third-party servers. Not only it is way too much tedious work initially, but you will also have to constantly keep them up to date as companies could change their SPF records anytime. An easier solution would be to use a DNS server that does not have this issue.