[PATCH] Come up with Deprecated option flag.

[Paul Koning]

> On Jun 8, 2018, at 7:09 AM, Martin Liška <mliska@suse.cz> wrote:
> 
> Hi.
> 
> First follow-up MPX removal patch comes up with Deprecated option flag.
> That prints warning for options that have no effect:

Should this be mentioned in the internals manual (section 8.2)?

	paul