Clean out duplicate stuff in odbc.sgml resulting from a faulty patch.