Correct, the mscorefonts may be a little overkill, but it would be the quickest solution. My guess is that Debian’s default fonts “aren’t up to par”, so they could also download and install other fonts and use them as the default san-serif font, but unless they got lucky it could take longer than just installing the fonts their father knows and loves.