See https://dejavu-fonts.github.io/Bugs.html $Id$