[dns-operations] RSASHA256 versus RSASHA512

[Florian Weimer]

* George Barwood:

> I'm trying to understand why RSASHA256 (algorithm 8) appears to be
> more popular than RSASHA512 (algorithm 10).

It is unclear whether SHA-512 is actually stronger than SHA-256.