I didn't choose to update yet, for exactly that reason. The problem remains that now I have to choose between: 56 (without security updates) 57 (without many

I didn't choose to update yet, for exactly that reason. The problem remains that now I have to choose between: 56 (without security updates) 57 (without many useful extensions) 52ESR (without functionality and performance updates, and only until mid-2018 anyway) Clearly none of these is as good as what I have had until this point.