I you are still reading this. I booted my PC and checked. Terminal font says DejaVu Sans Mono Book. Emacs says DejaVu Sans Mono. I don't know how this font l

I you are still reading this. I booted my PC and checked. Terminal font says DejaVu Sans Mono Book. Emacs says DejaVu Sans Mono. I don't know how this font lookup works and I don't want to spend my time on investigating, I guess both use /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf