
<html>

  <head>


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

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    <p>It would be helpful (to newbies like me) if issues like <a

        href="https://github.com/agda/agda/issues/2161">this one</a>

      receive a special label, such as "newbie questions".<br>

    </p>

  </body>

</html>