[css-counter-styles-3] 'width' descriptor: auto vs. 0 ""

Hi,

The table describing the 'width' descriptor for counter styles has:

     Value: <integer> && <symbol>
     Initial: 0 ""

But the text below also describes an 'auto' value. As I understand it, 
'auto' does the same as 0 "". I suggest either:

a. Remove the 'auto' value from the prose, keep the initial as 0 ""
    Maybe add a note saying that 0 "" has no effect.

b. Change the table to:

     Value: auto | [ <integer> && <symbol> ]
     Initial: auto

-- 
Simon Sapin