Mention all new options in NEWS

[Tom Tromey]

>>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes:

Eli> Would it be OK with everybody to request that new options be also
Eli> mentioned in NEWS, in addition to new commands?

Definitely.

I think one exception would be something like the new "maint" option
in one of Pedro's recent patches -- it is a temporary option that will
go away once the multi-inferior bits are more robust.  This is a rare
case.

Tom