nostr:npub1w6drku9n6kjfwapeg2df6qr8jw8xfe9zclj0nzuxgv4xm0j76ttswzlmqp nostr:npub1fy9pl73ys60ds4l9qlavcfryat067uwdyguk4xnkagulqchceu5s6smmgf weren't those redone for HDMI like 3 or 4y ago already? Or are those older ones?