nostr:npub1p9kjc5uauqdfphar82xmq573tf3hnh3mcugkw3t6mjg2y76xkd3sum865w but the video output will probably be display port alt mode not hdmi. i wouldn’t get my hopes up.