On 2020-09-27, Chris Angelico <rosuav at gmail.com> wrote: > If you MUST use a block-end marker, try "# end" instead - at least > then everyone *knows* it's nothing more than a comment. Damn, you could not say that earlier !!!