Anton Shestakov <av6@dwimlabs.net>, Fri, 10 Apr 2020 22:02:01 +0800
terminalrc: current settings (mostly from Misc section), also use system font
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<edit mode="assign" name="rgba">
<edit mode="assign" name="antialias">
<edit mode="assign" name="hinting">
<edit mode="assign" name="hintstyle">
<edit mode="assign" name="lcdfilter">