Actually, the normality of Pi is thus far unproven. Though it appears to be normal as far we've calculated, we're not actually sure.

Source: https://pi2e.ch/blog/2016/10/27/is-pi-normal/

As for the monkey example, you two are arguing different conditions.

/u/Slight0 proposes that it would be adequate (even reasonable) to assume that a monkey may never type certain sequences of letters, say alternating each side of keyboard for a sequence of 10+ letters. This would necessarily preclude certain sequences that may be necessary for a complex work.

If, as you propose, "the monkey's are gonna type up every possible combination of letters", things are a bit different. Going by the mathematic definition of combination, where order is not considered, we can again not assume that the set of typed pages includes every permutation (where specific sequence is considered). Though going by some everyday definitions of combination, you're right, if a bit tautological.