More typographical tweaks: enabling ligatures and old-style numerals aligned proportionally, and tweaking the size of the intro paragraph.