[dns-operations] uspto.gov

[Florian Weimer]

uspto.gov is signed, but the servers for that zone cannot reliably
deliver the DNSKEY RRset.  Curiously, the smaller trailing fragment
seems to be missing.  It's probably not even a case of not doing PMTUD
properly, it happens with a 1500 MTU, too.  (This has been observed
with the 151.207.240.50 server, but others don't work, either.)

Is anybody interested in debugging this?