Re: HTML format documentation

[Richard Stallman]

    Are all of the relevant developers subscribed to the <gnu-prog> list,

No.  We need to talk to a larger group.

      How would one
    best measure the responses?

Not by counting who thinks what, but by seeing what problems people
mention and then judging how severe they are and what could be
done to solve them.