[ale] UBuntu 17.10 EOL today

[DJ-Pfulio]

If you are running any version of Ubuntu 17.10, today is the last day to
get patches.
https://www.omgubuntu.co.uk/2018/07/ubuntu-17-10-end-of-life

At this point, normal people should be running either 16.04.x or 18.04.
People with servers might still have some 14.04.x machines for another 6
months or so before support ends.

If you aren't running 16.04.x or 18.04, time to move.