That’s nice, albeit I want to point out for anyone wondering that this is only conjectured and not guaranteed:

One of the properties that π is conjectured to have is that it is normal, which is to say that its digits are all distributed evenly, with the implication that it is a disjunctive sequence, meaning that all possible finite sequences of digits will be present somewhere in it.

There is no guarantee for any specific sequence to appear in π, but for short chunks chances are better (it’s not really a probability, but it’s simpler to say and I can’t explain in details anyway). That’s because (from wiki):

It is widely believed that the (computable) numbers √2, π, and e are normal, but a proof remains elusive.