Hello, Sebastian Humenda, on Fri 19 Feb 2016 17:16:30 +0100, wrote: > Is there any chance that I could get a bigger font? This is http://bugs.debian.org/595696 I don't know if Anton has made progress on this. Samuel