Это у всех языков локальная переменная начинается забыватся при первом не пустом операторе?

Речь в данном отрывке идёт исключительно про взаимодействие оператора goto и оператора создания переменной. Использование goto - это всегда геморрой и почти всегда - говнокод. Самое лучшее, что можно сделать - никогда не использовать goto в своём коде на языках высокого уровня (в том числе и в Lua).

P.S. Создателям языков программирования всегда приходится вводить какие-то ухищрения при включении goto в язык. И вариант Lua ещё не самый странный - по сравнению, например, с расширенным телом цикла в Fortran 66.

Нет, похоже только в lua.

По мне это бредовая штука. Особенно это goto тоже.
В статье стараются все равно объяснить критику «Помимо этого, говорят о том, что нумерация элементов начинается не с 0, как это принято в большинстве других ЯП, а с 1. Но здесь, скорее, речь идет уже о личных предпочтениях и взгляде отдельных программистов.» - хотя вот это по мне удобная вещь, меньше путанности.. но снова смотря как мыслят, если = - говорить присвоить, а == - равно, а m[0] - говорить данные по нулевому смещению, то может и понятней становиться. Но вот человек мыслит так, как его научили и сложно заставить говорить на = - что это присвоить, хотя вот уже в паскале это равно, а присвоить :=. Так как сейчас надо знать кучу языков, то иногда в голове такая путаница выходит... что даже не знаю, что делать.