firefox: update to 23.0.1.