Thank you, Jerry. This is very helpful. I think I will start by upgrading to Ubuntu 18.04 LTS and then wait for a bit.