8d796d826e
The second note of this doc mentions that "the value documented here is [...] not the actual default seed". I have corrected this to say that it's not the default "state" instead, since it has no reason to ever match the seed.