Hello,
there has been talk recently if commands have been extended with new
options, which is the case, although rare (:copy, the suggestion to
rework refuse into reject options).
IMHO, such extensions may be very useful, but so far I miss a
specification if multiple option extensions may be used together or not.
I can imagine three answers:
o Option extensions are exclusive. This makes it easy for the
author to define the semantics, but some possibly useful
combinations would be forbidden.
o Option extensions can be used together. Extensions are supposed
to address completely different issues, thus not interacting
badly. I could imagine that existing implementations work that way
and I prefer it.
o The extension specifies if it is exclusive or not. Do we need
this freedom and does it make sense?
Anyway, it should be specified somewhere. If it is, please just
point me to the relevant document.
Michael