$newline never

<section>
  <p>

    The current (YAML-based) format for correction files contains a #
    field determining whether the respective correction should be #
    marked as finished.

  <p>

    _{MsgRatingDoneTip}

  <p>

    When using rating files in the legacy format (plaintext only) #
    corrections will only be marked as finished if the appropriate #
    selection (“_{MsgCorrUploadSubmissionDoneMode}” set to #
    “_{SubmissionDoneAlways}”) has been made.

  <p>

    Downloaded submissions always reflect the current state of the #
    correction.
  
    <br>
  
    This extends to files changed during previous corrections.

<section>
  <p>

    While marking a correction, files may be changed, added, and #
    deleted.

    <br>
  
    These changes will be visible to the submittors as soon as the #
    correction is marked as finished.

  <p>
  
    Temporary files left by previous corrections should thus be #
    deleted by the last corrector if they should not be accessable to #
    submittors.

  $maybe maxUpload <- maxUploadMB
    <p>
      Uploads are currently limited to #{textBytes maxUpload}
