removing border=0 for tables as it is the default

[Patrice Dumas]

Hello,

It seems that border=0 is the default for tables formatting in HTML, it
is not specified anywhere, but it has been like that for a long time,
therefore I propose to simply remove border=0 everywhere.

Any opposition?

-- 
Pat