We should probably have a custom .deb package for HP ThinPro with a better default configuration (like we have for other terminals).
Another approach could be that the client detects that it is on an HP terminal and changes the default values.