[rwth-security] Changes to Microsoft Edge browser TLS server certificate verification