$newline never

$# SPDX-FileCopyrightText: 2022 Sarah Vaupel <sarah.vaupel@ifi.lmu.de>
$#
$# SPDX-License-Identifier: AGPL-3.0-or-later

<h2>
  _{MsgCourseParticipantsRegisterNotFoundInAvs (length aurNotFound)}
<ul>
  $forall userNotFound <- aurNotFound
    <li>
      #{userNotFound}
