Release v0.25 (also fixes compatibility for Firefox for the previous patches)