Thanks Brian for your quick response. Yeah, it's cool that I can use the printer for driverless printing, but unfortunately, the scanning functionality still requires the plugin.
It is also true that the issue seems to be in code downloaded on-the-fly from upstream, so you're right in closing the bug. It's a real shame that HP still require proprietary code, and have such shit Linux support. -- .''`. martin f. krafft <madduck@d.o> @martinkrafft : :' : proud Debian developer `. `'` http://people.debian.org/~madduck `- Debian - when you have better things to do than fixing systems