dakkar on Nostr: After npub198t8k…5hasj mentioned that wireless HDMI extenders exist, I procured one ...

After npub198t8kgwqas59rvmnghzcdn6krzhxhpkyt2mt53e4g9sdnj74sszss5hasj (npub198t…hasj) mentioned that wireless HDMI extenders exist, I procured one (from AliExpress, about £30 including shipping)
It Just Works™. As pictured here, it works fine for phones too!
(assuming your phone has HDMI video out via USB-C alternate mode, of course)

https://s.thenautilus.net/files/a55128a3-3e59-4a07-a244-628efc65b636