
<!DOCTYPE html>

<html>

  <head>

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

  </head>

  <body>

    <p>Also relevant: this happens even when I disable all of my other

      GNOME shell extensions.</p>

    <p><br>

    </p>

  </body>

</html>