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