Split into per-release versions; heavily revised 13.10 version.