(under GNU/Linux) Noting this here because all the information I could find on the Interned told me “use MakeMKV for it”. And while MakeMKV seems like a fine product, it’s a bit harder to install, since it doesn’t seem to be packaged for Debian at least. I still gave Handbrake a try (since it is…