(bug 19859) Remove HTMLDiff. Could possibly be salvaged as an extension one day,...