Fix outdated about.html

[zware]

Some of these changes were mistakenly made on my fork years ago (which was still linked as the canonical place to do so), others I've just fixed today. I intend to delete my fork after this is deployed to avoid similar issues in future.

[gpshead]

if "The machine is configured with Ubuntu 14.04 LTS" is still true... this machine is likely part of a botnet at this point. ;) please tell me we're at least on 18.04 or 20.04...

[pablogsal]

if "The machine is configured with Ubuntu 14.04 LTS" is still true... this machine is likely part of a botnet at this point. ;) please tell me we're at least on 18.04 or 20.04...

This is what we currently have:

pablogsal@speed-python:~$ lsb_release -a
No LSB modules are available.
Distributor ID:	Ubuntu
Description:	Ubuntu 18.04.6 LTS
Release:	18.04
Codename:	bionic

pablogsal@speed-python:~$ uname -a
Linux speed-python 4.15.0-159-generic #167-Ubuntu SMP Tue Sep 21 08:55:05 UTC 2021 x86_64 x86_64 x86_64 GNU/Linux

[pablogsal]

The reason this is not updated a lot is that every time system libs are updated it invalidates ALL existing benchmarks as new benchmarks are not comparable with the old ones, so we try to do updates only between major versions and we regenerate only the benchmarks for the tip of the branches.

[gpshead]

Yeah even if it sticks with the oldest still supported LTS Ubuntu that is fine. 18.04 server is good until April 2023 so good enough today, at which point jumping up to 22.04 for another four years might make sense, etc.