Thanks so much in advance for the courtesy of a reply, I really appreciate it, even if the answer is "no you can't swap HDMI ports on the Id Pi 4B".
I have been a customer for many years, first with JRMC19 for Windows, then JRMC20 for Mac, JRMC22 Id Pi 3B, JRMC24 Id Pi 3B+, JRMC24 for Linux Mint, and JRMC25 Id Pi 4B.
Why the absolute silence?