�� �� ��how does one download a specific patched file from GitHub?�� I want to test Pablo's fix here:

I don't want to go through "View File", or clone, or anything else.�� I just want the file itself.�� How do I get it?