tidy putting gratuitous id='s

Goodness, tidy (vers 1st March 2004) puts
<a name="usb_card_reader" id="usb_card_reader">
where just
<a name="usb_card_reader">
existed before.
That will take users a lot of work to clean up if that's not what they want.

Received on Tuesday, 8 June 2004 19:56:40 UTC