We have now a must-use plugin which prevents Google Fonts from being loaded,
so these should not be necessary anymore (see #25).