De boel even heel grondig schoongeveegd. Dit gedoe was absoluut
niet nodig. Graag on topic blijven over de eerste punt-release van Ubuntu. Discussies over update/upgrade en andere semantische discussies zijn hier niet de bedoeling.
En discussies over 18.04.5 ook niet