
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body text="#1f497d" bgcolor="#FFFFFF">

    <p>Edit: there is still a link with the nvidia driver, since the

      problem appeared after the 440.100 driver, and all was fine when

      downgrading to it (which is not anymore possible, since there are

      errors building the nvidia module).<br>

    </p>

  </body>

</html>