debian/jabref-plugin-oo.docs: the HTML documentation was renamed.