To be safe, stick to a simple stereo DAC like the Topping D30 will work just fine, or any other stereo DAC with optical input. You can go cheaper but I wouldn’t go more expensive than that. 😁
I say to be safe because HDMI is always a little fussy. HDMI requires handshaking and protocols and has more settings than optical out, especially just for 2 channel. Especially if you plan on using Audio Return Channel (ARC) from the TV those are just naturally fussy. Even among big brands ARC/HDMI may be buggy so I never trust a cheap HDMI extractor to work reliably.
OTOH if you get an inexpensive 2 channel DAC, and set the digital output to stereo you are never going to have a problem. Never. It just works.