Update notes for submitted changes

* Do not apply the PRNG workarounds if an explicit seed is given