> I think it would distract and slow down the paper if you asked to clean up the grammar at the same time.

I don't think it would be too bad. The wording already mentions that
"parameter-declaration-list ..." is deprecated, and I think it's for
the best if this production existed verbatim in the grammar.

I've updated the proposal; it now includes this editorial change.