mpv overrides my custom format with `bestvideo+bestaudio/best`
(youtube-dl upstream default). This applies a patch (from upstream) that
adds a magic value to remove the override. Since home-manager’s mpv
module only supports overriding the mpv package in 21.05, it is done in
the overlay.
Fixes#39.