@gwidion haven't heard of terminedia, but the font is creative commons, feel free to use it however you like!