Font Substitution v3

Substitutes arbitrary fonts on webpages

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