3.5mm Angle Male to Female Audio Adapter, 90 Degree Right Angle Gold-Plated TRRS Stereo Jack Plug AUX Connector Compatible with Headset, Tablets, MP3 Players, Game Controller, Speakers(2 PACK)

Angled 3.5mm adapters also exist. Might even be able to find a really low profile one if they are willing to go for a short extension cable. Something like this for example: https://a.co/d/0869P7OQ In fact you can find angled adapters for nearly everything. Still sucks that you have to, but at least it's possibly as a workaround without replacing the machine.