rich1.0jb (npub1r8…0caah)https://nostr.ae/npub1r87lv2ntrzq87utjtsxrfrt74sc25vnszmksugc0a8zcurnxdhwsx0caahnjumphttps://nostr.aeyep either computer has an HDMI port and you’re set or you’ll need a dongle to convert computer output to HDMI What do the computer ports look like?