2015-10-20 12:32, John McNamara: > Remove requirement for occasionally hard to find/install > DejaVuSansMono font. It isn't gnerally required anyway. > The default mono font is sufficient. Does it remove the need for texlive-collection-fontsextra?