Thank you for the suggestions!
@Simpel you had a good idea with OpenDyslexic. I was actually wondering if we could have a special option in the extra accessibility dropdown specific to dyslexia that when clicked does everything that the normal accessibility option does, but also adds this font. @CharpentierLucas , wdyt?
On Tiresias: it is a shame that Tiresias Screenfont is not open-source. The Infofont one seems to have its regular font-weight a bit too big. That means italic or bold text will be hard to get.
I’ve put all these options together to visualize: