[NNTP] [2509] Rename LIST HEADERS?

[Clive D.W. Feather]

Issue: should LIST HEADERS be renamed as something else, since it doesn't
fit with much of the other LIST structure?

Ken Murchison said:
> 2509:  Doesn't matter to me, but this would be an easy change since this 
> command is newly defined by this document.

I'm in favour of changing it. Any objectors?

-- 
Clive D.W. Feather  | Work:  <clive at demon.net>   | Tel:    +44 20 8495 6138
Internet Expert     | Home:  <clive at davros.org>  | Fax:    +44 870 051 9937
Demon Internet      | WWW: http://www.davros.org | Mobile: +44 7973 377646
Thus plc            |                            |