[m-dev.] x-flags vs x-flag

[Zoltan Somogyi]

Two typos fixed by my last diff were caused by the one-character
difference between e.g. javac-flags and javac-flag. The main difference
between the two is not plural vs singular, but the fact that javac-flag
quotes its singular argument, and javac-flags does not quote its possibly
many arguments. And there are several other pairs of options for which
the above is true.

I propose that in every one of these cases, we change the main name of
the x-flag optin (the advertised name, and the name used internally
in the compiler) to x-quoted-flag. We would keep the x-flag name as a synonym,
but also deprecate it, marking it for deletion in a future release.

Does anyone object?

Apropo deprecating things, do we have a file in which we record what
obsolete things we plan to either delete, or simply just mark as obsolete
as a step towards even later deletion, at the next release? If not, we should
create one.

Zoltan.