Sublime Text: back to DejaVu, the old standard