To close the loop for anyone else wanting to use a second or a larger display, this fuzzy phone picture shows the connection. It is to the microHDMI connector that is adjacent to the USB-C connector.
The microHDMI connector next to it did not work when I tried it while powering up. That is not a problem for me in my use. As a regular Pi4 user I'm familiar with the order of microHDMI connections.