Choosing Arch Linux over Red Hat Enterprise Linux (RHEL) at DDVTech B.V.