Alexey Borzov <borz_off@rdw.ru> writes:
> I believe the whole matter was clarified enough, so now you seem to
> have two options: either change everything back, or update the docs
> (add BIG BOLD letters that SET SEED is now obsolete) ;]
We changed it back, so the docs are still okay ;-)
regards, tom lane