[NEST Users] Re: Random seed in NEST 3.0