firefox: version bumped to 20.0.1.