I tried your suggestion, but without success.
When I plug a micro HDMI to regular HDMI cable into the HDMI 0 port on the Pi 4, everything boots up as usual and life is good.
When I shut the system down, move the same cable to the Pi's HDMI 1 port, I get nothing.
I can solve my problem with a new, skinnier micro HDMI to regular HDMI dongle, but I have a fat one that will not fit into HDMI 0 with the USB C power cable in place.
Nothing a trip to the local computer store can't fix.