Após várias conversas com a equipe de suporte local da HP e uma visita à matriz nacional, parece que a resposta inicial para mim nos fóruns da HP estava equivocada. O DP1.2 indica suporte para exibição no USB Type-C. Especificamente, usando o modo alternativo DisplayPort. Isso funcionou com um adaptador compatível que eles tinham, mas não o mais barato que eu comprei online (e que vai ser devolvido agora).
Eu não aceito essa resposta, pois ela não é uma resposta completa, mas postar para o benefício de qualquer pessoa que encontre isso no google.