Font Substitution v3

Substitutes arbitrary fonts on webpages

As of 2015-08-28. See the latest version.