Remove link to "the ORANGE issue" because pdftohtmlex sucks.