Add ExtendedRandom to server, mix into PRF seed