Documented workaround for pdf2htmlex 0.11 bug