v1.7.2

Changes in this release:

• Performance improvements.
• UX improvements for mobile when on slow connections (CLS-related).
• Remove WOFF fonts, just serve WOFF2 now (since we don't support IE11 any more).
• PT Serif font v12.
• Move from UglifyJS to Terser for JavaScript minification.