docs: EDNS bufsize = 1232

25 jobs for 538-lower-default-edns-buffer-size-to-1232
in 90 minutes and 5 seconds and was queued for 3 seconds