My dads Dell G3 3779 is currently connected through the 3.5mm port to his Yamaha amp.
As this laptop doesn’t have SPDIF, I want to extract the audio from the HDMI 2.0 4K/60hz source and connect it through SPDIF/Toslink to my old SMSL 793 ii DAC.
Most of these extractors work well enough. One word of caution that may or may not be of interest to you: many of them max out at a 48KHz sampling rate. If your dad likes to listen to audio files higher than 48KHz, everything will be throttled down to that rate. If he doesn’t listen to those, or doesn’t care, then any of these are good options. Otherwise, make sure they are spec’d to a sample rate that meets the need.
If it’s all ripped CDs the sample rate will be 44.1KHz. If he downloads music from a store like HDTracks or streams from Qobuz or Amazon, then it will make a difference.