Ok it seems we can not do that :( that is a pretty big turn-off :-/ We could get around it by getting the old seed, setting it to some internal seed and then restoring it again. That is pretty ugly, though, and I'd probably rather tell the user to be aware of that.