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

I had messed up them, completely deleting the theme's functions.php file. This should fix #22.

not all of them apply cleaninly (sorry). See #15 and #5 for the list of things to fix.

the plugin has been abandoned, I have moved it to ai-mu-plugins for the moment.

Closes #17

added noblogs/themes-misc as a dependency, and removed the corresponding theme patches.
This themes are not on wordpress.org anymore, so they will not be updated from upstream,
and thus we have to keep them in our own repo (but there is no need to separate patches
from upstream).

We might want to consider whether to keep them or remove them in the future.

Closes #6