dev86: version bumped to 0.16.20.