[martinralbrecht]

NIST responded: https://groups.google.com/a/list.nist.gov/g/pqc-forum/c/W2VO...