2018.05.14 03:16:12 (995835132991954944) from Daniel J. Bernstein:
Have extended https://cr.yp.to/patents.html to try to list all numbers of patents+applications mentioned in the #NISTPQC IP statements. Noticeable risk of some numbers being missed or garbled. Would appreciate confirmation from someone else going independently through the statements.