>>Yes, it is "Doc Errata" but since the official bug report page also
>>handles "Doc Errata" I don't really see the difference.
>I'd think, for the purposes of clarity that, at least here, there should be
>a distinction. But, to each his own.
I'd vote that it's a bug either way, personally.