Oh, I think I found a solution for my PC/PS4 audio issue:

The screen I use with my PS4 has audio out. Connect that to my PC’s mic port via jack-to-jack cable, then set the mic to “Listen to Device” on PC. Now PS4 audio is passed through to PC.