prompt: We are currently solving the following issue within our repository. Here is the issue text:
  --- BEGIN ISSUE ---
  Helptext for supported file formats is not up-to-date
  
  
  --- END ISSUE ---
  
  Below are some code segments, each from a relevant file. One or more of these files may contain bugs.
  --- BEGIN FILES ---
  Path: `app/grandchallenge/cases/forms.py`
  Content:
  ```
  1 from typing import List
  2 
  3 from crispy_forms.helper import FormHelper
  4 from crispy_forms.layout import Submit
  5 from django import forms
  6 from django.conf import settings
  7 from django.core.exceptions import ValidationError
  8 
  9 from grandchallenge.cases.models import RawImageFile, RawImageUploadSession
  10 from grandchallenge.jqfileupload.widgets import uploader
  11 from grandchallenge.jqfileupload.widgets.uploader import (
  12     StagedAjaxFile,
  13     UploadedAjaxFileList,
  14 )
  15 
  16 
  17 class UploadRawImagesForm(forms.ModelForm):
  18     files = UploadedAjaxFileList(
  19         widget=uploader.AjaxUploadWidget(multifile=True, auto_commit=False),
  20         label="Image files",
  21         help_text=(
  22             "The total size of all files uploaded in a single session "
  23             "cannot exceed 10 GB.<br>"
  24             "The following file formats are supported: "
  25             ".mha, .mhd, .raw, .zraw, .dcm, .tiff, .png, .jpeg and .jpg."
  26         ),
  27     )
  28 
  29     def __init__(self, *args, user, linked_task=None, **kwargs):
  30         super().__init__(*args, **kwargs)
  31         self.helper = FormHelper()
  32         self.helper.add_input(Submit("save", "Submit"))
  33         self.fields["files"].widget.user = user
  34         self._linked_task = linked_task
  35 
  36     def clean_files(self):
  37         files = self.cleaned_data["files"]
  38 
  39         if len({f.name for f in files}) != len(files):
  40             raise ValidationError("Filenames must be unique.")
  41 
  42         if sum([f.size for f in files]) > settings.UPLOAD_SESSION_MAX_BYTES:
  43             raise ValidationError(
  44                 "Total size of all files exceeds the upload limit."
  45             )
  46 
  47         return files
  48 
  49     def save(self, commit=True):
  50         instance = super().save(commit=False)  # type: RawImageUploadSession
  51 
  52         # Create links between the created session and all uploaded files
  53         uploaded_files = self.cleaned_data[
  54             "files"
  55         ]  # type: List[StagedAjaxFile]
  56 
  57         raw_files = [
  58             RawImageFile(
  59                 upload_session=instance,
  60                 filename=uploaded_file.name,
  61                 staged_file_id=uploaded_file.uuid,
  62             )
  63             for uploaded_file in uploaded_files
  64         ]
  65 
  66         if commit:
  67             instance.save()
  68             RawImageFile.objects.bulk_create(raw_files)
  69             instance.process_images(linked_task=self._linked_task)
  70 
  71         return instance
  72 
  73     class Meta:
  74         model = RawImageUploadSession
  75         fields = ["files"]
  76
  ```
  --- END FILES ---
  
  Please first localize the bug based on the issue statement, and then generate a patch according to the `git diff` format fenced by three backticks.
  
  Here is an example:
  
  ```diff
  diff --git a/examples/server_async.py b/examples/server_async.py
  --- a/examples/server_async.py
  +++ b/examples/server_async.py
  @@ -313,4 +313,4 @@
   
   
   if __name__ == "__main__":
  -    asyncio.run(run_async_server("."), debug=True)
  +    asyncio.run(run_async_server(), debug=True)
  diff --git a/examples/server_sync.py b/examples/server_sync.py
  --- a/examples/server_sync.py
  +++ b/examples/server_sync.py
  @@ -313,5 +313,5 @@
   
   
   if __name__ == "__main__":
  -    server = run_sync_server(".")
  +    server = run_sync_server()
       server.shutdown()
  
  ```
  
golden_diff: diff --git a/app/grandchallenge/cases/forms.py b/app/grandchallenge/cases/forms.py
  --- a/app/grandchallenge/cases/forms.py
  +++ b/app/grandchallenge/cases/forms.py
  @@ -22,7 +22,10 @@
               "The total size of all files uploaded in a single session "
               "cannot exceed 10 GB.<br>"
               "The following file formats are supported: "
  -            ".mha, .mhd, .raw, .zraw, .dcm, .tiff, .png, .jpeg and .jpg."
  +            ".mha, .mhd, .raw, .zraw, .dcm, .tiff, .png, .jpeg and .jpg.<br>"
  +            "The following file formats can be uploaded and will be converted to "
  +            "tif: Aperio(.svs), Hamamatsu(.vms, .vmu, .ndpi), Leica(.scn), MIRAX"
  +            "(.mrxs) and Ventana(.bif)."
           ),
       )
  
verification_info: {"golden_diff": "diff --git a/app/grandchallenge/cases/forms.py b/app/grandchallenge/cases/forms.py\n--- a/app/grandchallenge/cases/forms.py\n+++ b/app/grandchallenge/cases/forms.py\n@@ -22,7 +22,10 @@\n             \"The total size of all files uploaded in a single session \"\n             \"cannot exceed 10 GB.<br>\"\n             \"The following file formats are supported: \"\n-            \".mha, .mhd, .raw, .zraw, .dcm, .tiff, .png, .jpeg and .jpg.\"\n+            \".mha, .mhd, .raw, .zraw, .dcm, .tiff, .png, .jpeg and .jpg.<br>\"\n+            \"The following file formats can be uploaded and will be converted to \"\n+            \"tif: Aperio(.svs), Hamamatsu(.vms, .vmu, .ndpi), Leica(.scn), MIRAX\"\n+            \"(.mrxs) and Ventana(.bif).\"\n         ),\n     )\n", "issue": "Helptext for supported file formats is not up-to-date\n\n", "before_files": [{"content": "from typing import List\n\nfrom crispy_forms.helper import FormHelper\nfrom crispy_forms.layout import Submit\nfrom django import forms\nfrom django.conf import settings\nfrom django.core.exceptions import ValidationError\n\nfrom grandchallenge.cases.models import RawImageFile, RawImageUploadSession\nfrom grandchallenge.jqfileupload.widgets import uploader\nfrom grandchallenge.jqfileupload.widgets.uploader import (\n    StagedAjaxFile,\n    UploadedAjaxFileList,\n)\n\n\nclass UploadRawImagesForm(forms.ModelForm):\n    files = UploadedAjaxFileList(\n        widget=uploader.AjaxUploadWidget(multifile=True, auto_commit=False),\n        label=\"Image files\",\n        help_text=(\n            \"The total size of all files uploaded in a single session \"\n            \"cannot exceed 10 GB.<br>\"\n            \"The following file formats are supported: \"\n            \".mha, .mhd, .raw, .zraw, .dcm, .tiff, .png, .jpeg and .jpg.\"\n        ),\n    )\n\n    def __init__(self, *args, user, linked_task=None, **kwargs):\n        super().__init__(*args, **kwargs)\n        self.helper = FormHelper()\n        self.helper.add_input(Submit(\"save\", \"Submit\"))\n        self.fields[\"files\"].widget.user = user\n        self._linked_task = linked_task\n\n    def clean_files(self):\n        files = self.cleaned_data[\"files\"]\n\n        if len({f.name for f in files}) != len(files):\n            raise ValidationError(\"Filenames must be unique.\")\n\n        if sum([f.size for f in files]) > settings.UPLOAD_SESSION_MAX_BYTES:\n            raise ValidationError(\n                \"Total size of all files exceeds the upload limit.\"\n            )\n\n        return files\n\n    def save(self, commit=True):\n        instance = super().save(commit=False)  # type: RawImageUploadSession\n\n        # Create links between the created session and all uploaded files\n        uploaded_files = self.cleaned_data[\n            \"files\"\n        ]  # type: List[StagedAjaxFile]\n\n        raw_files = [\n            RawImageFile(\n                upload_session=instance,\n                filename=uploaded_file.name,\n                staged_file_id=uploaded_file.uuid,\n            )\n            for uploaded_file in uploaded_files\n        ]\n\n        if commit:\n            instance.save()\n            RawImageFile.objects.bulk_create(raw_files)\n            instance.process_images(linked_task=self._linked_task)\n\n        return instance\n\n    class Meta:\n        model = RawImageUploadSession\n        fields = [\"files\"]\n", "path": "app/grandchallenge/cases/forms.py"}], "after_files": [{"content": "from typing import List\n\nfrom crispy_forms.helper import FormHelper\nfrom crispy_forms.layout import Submit\nfrom django import forms\nfrom django.conf import settings\nfrom django.core.exceptions import ValidationError\n\nfrom grandchallenge.cases.models import RawImageFile, RawImageUploadSession\nfrom grandchallenge.jqfileupload.widgets import uploader\nfrom grandchallenge.jqfileupload.widgets.uploader import (\n    StagedAjaxFile,\n    UploadedAjaxFileList,\n)\n\n\nclass UploadRawImagesForm(forms.ModelForm):\n    files = UploadedAjaxFileList(\n        widget=uploader.AjaxUploadWidget(multifile=True, auto_commit=False),\n        label=\"Image files\",\n        help_text=(\n            \"The total size of all files uploaded in a single session \"\n            \"cannot exceed 10 GB.<br>\"\n            \"The following file formats are supported: \"\n            \".mha, .mhd, .raw, .zraw, .dcm, .tiff, .png, .jpeg and .jpg.<br>\"\n            \"The following file formats can be uploaded and will be converted to \"\n            \"tif: Aperio(.svs), Hamamatsu(.vms, .vmu, .ndpi), Leica(.scn), MIRAX\"\n            \"(.mrxs) and Ventana(.bif).\"\n        ),\n    )\n\n    def __init__(self, *args, user, **kwargs):\n        super().__init__(*args, **kwargs)\n        self.helper = FormHelper()\n        self.helper.add_input(Submit(\"save\", \"Submit\"))\n        self.fields[\"files\"].widget.user = user\n\n    def clean_files(self):\n        files = self.cleaned_data[\"files\"]\n\n        if len({f.name for f in files}) != len(files):\n            raise ValidationError(\"Filenames must be unique.\")\n\n        if sum([f.size for f in files]) > settings.UPLOAD_SESSION_MAX_BYTES:\n            raise ValidationError(\n                \"Total size of all files exceeds the upload limit.\"\n            )\n\n        return files\n\n    def save(self, commit=True):\n        instance = super().save(commit=False)  # type: RawImageUploadSession\n\n        # Create links between the created session and all uploaded files\n        uploaded_files = self.cleaned_data[\n            \"files\"\n        ]  # type: List[StagedAjaxFile]\n\n        raw_files = [\n            RawImageFile(\n                upload_session=instance,\n                filename=uploaded_file.name,\n                staged_file_id=uploaded_file.uuid,\n            )\n            for uploaded_file in uploaded_files\n        ]\n\n        if commit:\n            instance.save()\n            RawImageFile.objects.bulk_create(raw_files)\n            instance.process_images()\n\n        return instance\n\n    class Meta:\n        model = RawImageUploadSession\n        fields = [\"files\"]\n", "path": "app/grandchallenge/cases/forms.py"}]}