There is another (next to this one), quite pretty fuckup with HP printer’s settings. This time not related to language or location, but to network configuration instead. On non-DHCP networks …