Changes

I don't even know how to write Defining an environment in TeX that will remove removes the leading spaces but leave leaves other spaces untouchedis complicated. On the other hand, once we capture the contents of the environment, removing the leading indent or ''dedenting'' the content in Lua is easy. Here is a Lua function that uses lpeg.