There is a third (next to this one and this one), quite pretty fuckup with HP printer’s settings. Even though they have full hardware support for duplex printing, this feature (as good as man…