Thank you,
Kelban11
With some quick trial and error, I found a solution, obviously built on top of yours. You can edit
that is inside Configs
and change
to
The sound started working again. I had to change the device to output on the options menu, but the sound was already working at that point.
Many thanks!