Nach diversen Gesprächen mit dem lokalen HP Support und einem Besuch in der nationalen Zentrale scheint die erste Reaktion auf mich in den HP Foren falsch gewesen zu sein. DP1.2 zeigt die Unterstützung für die Anzeige über USB Typ-C an. Insbesondere unter Verwendung des DisplayPort-Alternativmodus. Dies funktionierte mit einem kompatiblen Adapter, aber nicht mit dem günstigeren, den ich online gekauft hatte (und der jetzt zurückgegeben wird).
Ich akzeptiere diese Antwort nicht als eine vollständige Antwort, sondern poste sie zum Nutzen aller, die dies bei Google finden.