NondecreasingIndentation is undocumented
The title says it all. The only real description of this extension is in the "Known bugs and infelicities" section of the manual, which seems an unwelcoming place to introduce a new friend.
The title says it all. The only real description of this extension is in the "Known bugs and infelicities" section of the manual, which seems an unwelcoming place to introduce a new friend.