После различных разговоров с местным персоналом поддержки HP и посещения их национальной штаб-квартиры, кажется, что первоначальный ответ мне на форумах HP был ошибочным. DP1.2 указывает на поддержку отображения через USB Type-C. В частности, с использованием альтернативного режима DisplayPort. Это работало с совместимым адаптером, который у них был, но не с более дешевым, который я купил онлайн (и который вернется сейчас).
Я не принимаю этот ответ как не полный ответ, а публикую его в интересах любого, кто найдет его в Google.