> anyone with a minimal education in those realms can follow the nonsenses that WM is so fond of),
You mean those eminent authorities who have many thousands of reputation point in MathOverflow and defend the existence of an omegath level in the Binary Tree? Are you also such an eminent autority? Or what is your explanation of the fact that the Binary Tree constructed by all finite initial segments of all paths cannot be distinguished by the Binary Tree that in addition contains all infinite paths?
Hint: There are no infinite paths (at least in mathematics, i.e., in the universe of mathematical discourse) unless there they have a finite definition. But the set of finite definitions is countable.