2 ms·

I can't see a difference between these two things. I would think the `patch` command and a (bash?) "script" are legally equivalent.