Release 0.12.20, with improved testing.