Update notes for submitted changes

* random32: fix off-by-one in seeding requirement