As discussed in #632, we'd like to move fonts to their own separate repo so that we can keep the size of this repo small. TODO: - [x] create separate repo for the fonts - [x] add that repo as a submodule