Hello, Please cherry-pick the upstream fix to drop the bitstream vera font. The bitstream vera font is very obsolete, looks worse than dejavu and sometimes as a negative side-effect it takes over as a default font when installed. Best, Amr