Incremented version number *twice*, to 0.8.20 (due to a botched release of 0.8.18).