firefox: version bumped to 23.0.1.