docs: EDNS bufsize = 1232

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