Hi Gabriel,On Thu, Mar 21, 2019 at 1:15 PM Gabriel Cotelli <g.cotelli@gmail.com> wrote:great.�� This works (provided one selects "Page Source").�� But how did you get to that link?��On Thu, Mar 21, 2019 at 5:01 PM Eliot Miranda <eliot.miranda@gmail.com> wrote:Hi GitHub mavens,�� �� ��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?_,,,^..^,,,_best,��Eliot--_,,,^..^,,,_best,��Eliot