Thanks for the MakeMKV suggestion, I'll look into it.
VLC isn't an option at the moment, because we've hooked up a 60€ player to her television.
Something with a remote with physical buttons that boots up in two seconds flat, never updates, always works the same and needs zero network connections.
A pretty high bar to beat.