Make Firefox 23 the new default.