[arch-dev-public] How to disable the DigiNotar root cert on Arch