[why]
They are needed for the updates cheat sheet to display the new icons :-)
[how]
Manual run of new script `generate-webfonts.sh` which is now added to
the release workflow.
[note]
Also remove ttf version of the font, as it is used nowhere on our page.
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
f
This is not yet automated.
Generated v2.2.2 font opened with fontforge and afterwards with defaults
generated to woff and woff2.
Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>