osifont (https://github.com/hikikomori82/osifont), file osifont-lgpl3fe.ttf, subset to Latin
characters for this site. Licensed under the GNU LGPL version 3 with the GPL font exception:
"As a special exception, if you create a document which uses this font, and embed this font or
unaltered portions of this font into the document, this font does not by itself cause the
resulting document to be covered by the GNU General Public License."
Full licence texts: https://www.gnu.org/licenses/lgpl-3.0.html and https://www.gnu.org/licenses/gpl-faq.html#FontException