Re: [PATCH] doc: fix mistyped "env flags" command