Re: [OT] there is a way to extract a previously applied patch?

Easy to do with git.

$ git log

Use "/Allow AS" to find the commit.  Oh, there it is.

$ git log -1 -p 4f08d8492598a518f803d8c2979b39f0050b0f8d > allow-as.patch

Attached for your convenience.  :-)

...Robert