[crux-commits] ports/opt (2.4): firefox: Update to 2.0.0.13, change build options to improve firefox.