Ah! Thanks! I was just able to find this command to run in the terminal:
screen /dev/cu.usbmodem14301 115200
but you are correct, it is indeed available in the VS Code as the nrf Serial Terminal! Even without the expansion board. It requested lots of parameters I don’t understand, except the baud rate, but it was able to connect and show me the output!