[Rd] set.seed and /dev/random

[Saptarshi Guha]

Hello,
In ?set.seed I notice that a seed is created from the system time.
Thus if two machines were (hypothetically) running for the same time
and R was started simultaneously on both, the would have the same
seeds (correct?).

I assume reading from /dev/random would be different for both of these
machines, so my question is why not use an integer read from
/dev/random to create the seed?

Would it be a portability issue?
I must admit I have very little idea about RNGs, so my question is
possibly very naive.

Thank you
Saptarshi