This is just a quick bug fix release to fix the terminal font selection not working as reported in issue #84
Download it from Github