Proposal to use of ABNF in RFC977bis's formal syntax

[Anthony D'Atri]

I fully admit that I'm a nobody in this arena, but I'd like to state
that over the years I've found BNF-style specifications frustratingly
difficult to read when trying to understand syntax.