How can I get the plaintext patch or diff from a sourceforge PR, such as https://sourceforge.net/p/mingw-w64/mingw-w64/merge-requests/5/, so that I can apply it locally? (i.e. the equivalent of applying .patch or .diff to a github PR url to get https://patch-diff.githubusercontent.com/raw/root-project/cling/pull/519.patch)