--- other: - | Patch diffs now download with a ``diff`` extension.