Update firefox
Update proof-general