That didn’t come through from copy-pasting, for some reason.
That was the only way to limit the available subtitles of a YouTube video to ones I could use. This came from a situation years back, where if a video had subtitles for tens of different languages, it would increase the delay until playback would start. It also requires the empty ytdl-raw-options-add=write-subs= below it to work.
It’s not as it was just yesterday, that is all.
Edit: It seems I missed a part in the master manual of mpv.
I created a file ~/.config/mpv/script-opts/stats.conf, dropped font='Droid Sans' (even font='' works, as long as I have osd-font='Droid Sans' inside mpv.conf) inside, and the font for the statistics is more sane again:
mpv seems to insist on using the condensed variant of Noto Sans by default, if that happens to be the default system font, as it is for me.