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.
Samsung Galaxy Note 10 Now On Sale: Price, Specification & Features
Best free Photoshop brushes 2019
Apple TV streaming service: what, where, when and how much
Les meilleurs écouteurs et casques audio Lightning (2019)