Not necessarily. Even though PI isn't a rational number, it doesn't mean that it necessarily contains any given subsequence. Let me take another non-rational number: 0.12112111211112... It won't ever contain the prime number 3, nor will it contain the complete works of Shakespeare. PI is similarly constrained to a specific pattern. I agree that an infinite un-patterned sequence will contain such sequences, but whether you include or exclude the axiom of choice will determine whether such numbers exist or not. Whether or not PI actually contains all primes as subsequences, I don't know. I'd suggest you present a proof one way or the other.

I'm quite happy that Apple chose something other than Gecko, even though I love using the current Mozilla browser, and think that the current core is fairly good. The reason is that it means that web developers will hopefully start to notice that there are lots more users who ARENT IE or Netscape 4.x, and thus start using the actual standards, rather than the abominations that IE and Netscape 4.x implement.