The attached patch fixes an example in the "Tables in HTML export" section of the manual that uses the old `border="3"' syntax instead of `:border 3' etc.