$def with (tasks, checked_tasks, download_or_replay)
$#
$# This file is part of INGInious. See the LICENSE and the COPYRIGHTS files for
$# more information about the licensing of this file.
$#
$if download_or_replay == "download":
$:_("Tasks to download submissions from")
$else:
$:_("Tasks to replay submissions from")