[css3-images] <side-or-corner> defined twice, differently

The <side-or-corner> production is defined in two different places
in css3-images.  In
http://dev.w3.org/csswg/css3-images/#linear-gradients it is defined
as:
  # <side-or-corner> = [left | right] || [top | bottom]
whereas in http://dev.w3.org/csswg/css3-images/#repeating-gradients
it is defined as:
  # <side-or-corner> = 
  #   [ [left | right] || [top | bottom] ] |
  #   [ [start | end] || [before |after] ]

It seems to me that it should be defined in only one place, and it
should have only one definition.

(I'm guessing that the addition of start/end/before/after was
intended to apply to both repeating and non-repeating gradients, and
the second definition is the correct one.)

-David

-- 
𝄞   L. David Baron                         http://dbaron.org/   𝄂
𝄢   Mozilla Corporation               http://www.mozilla.com/   𝄂