Many thanks for your reply.
Unfortunately, Stereo Mix disappeared from the options a long time ago. I've been using Vitual Audio Cable to record streamed material since, and it's worked well, until this latest Windows 10 update.
Google Stadia review
When 12 countries take on the same brief in a globalised world
Best Apple tech gifts for Christmas 2019
Les meilleurs bracelets connectés (2019)