Fix <b> in pres, and regenerate HTML for doc.