<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>