$newline never

$# SPDX-FileCopyrightText: 2022 Gregor Kleen <gregor.kleen@ifi.lmu.de>
$#
$# SPDX-License-Identifier: AGPL-3.0-or-later

$maybe finished <- examFinishedStr
  <p>
    _{MsgExamFinishedSince finished}
$nothing
  <p .explanation>
    _{MsgExamFinishTip}
  ^{finishView}
