{% comment %} Reusable "view / copy / download a text file" modal. Page-specific JS calls TextFileModal.open({url, filename, title, description}) to fetch ``url`` (plain text or {"script": "..."} JSON) and show it; Copy uses the clipboard, Download saves ``filename``. Closes via the ✕, backdrop click, or Escape. Include this partial once per page that needs it. {% endcomment %}