I thought I made my point clear: including Goto in this supposedly minimalistic language doesn't guide learners in the right direction (and using it in the examples even less so). Goto is not used in modern programming style even though some specific constructs can be expressed succinctly with it.

Regarding Turing-completeness: Perhaps you can write maintainable code in Intercal or Whitespace, but most people can't or at least don't want to write maintainable code without functions and static scoping.

I would like to take you up on that offer and see some maintainable brainfk code.