@codebrainz Yes I successfully used the `line_height` work-around. I just wanted to report this here because Ubuntu 20.04 will probably be released this month, and this was one of the issues I ran into. Did not have this issue on 19.10 and prior. And yes, it maps to this font:
DejaVuSansMono.ttf: "DejaVu Sans Mono" "Book"