If there was any doubt left whether Hewlett-Packard is still a company run by engineers, that was a clean way to dispel it.