Just spotted that David H. Bailey has started posting "simple proofs of great theorems" on his blog: mathscholar.org/2018/09/simple…
This proof that π is irrational is about as straightforward as it can be: mathscholar.org/2018/09/simple…