[Bug 805016] HPLIP nags me to install proprietary plug-in although printer works