@simon The thing that makes me sad about this discussion is that it has gone on since the late 1950s; there have not been any new arguments in 30 years and the only good explanation was Knuth’s Literate Programming book but nobody ever really understood it.