Con lo de trabajar desde casa resulta que el portátil del trabajo tiene salida HDMI, pero mi monitor sólo tenía entrada RGB o DVI...
Ante la (incómoda) posibilidad de trabajar usando la tele del comedor de monitor o andar cargando además del portátil la "docking station", me puse a chafardear por alí.
Total, resulta que hay adaptadores de HDMI a DVI.
He visto muchos adaptadores "falsos", pero este tenía buenas opiniones, y por $2.50 (envío gratis) decidí probar [Hidden Content]
El cable funciona sin problema, aunque no recuerdo la resolución máxima que probé. Creo que mi monitor era 1080 o 1280...
...resulta que a los pocos días de llegar el cable, la empresa me facilitó un monitor mejor que el que tenía en casa. Y como el monitor tiene HDMI y DisplayPort... pues ya no uso el adaptador. (Y aprovecho para conectar mi sobremesa por DP y portátil por HDMI)