Thank you. The parent to my comment originally had a snarky "and it only took me 45 seconds" to imply that instead of complaining the person he was replying to

Thank you. The parent to my comment originally had a snarky "and it only took me 45 seconds" to imply that instead of complaining the person he was replying to should have done what he did and opened a PR instead. Maybe I should reply using quotes so this sort of thing doesn't happen :)