That patch might be small but I imagine the path to the patch had more details than mentioned in the article. It would be nice to hear that side of it to.
For someone benefiting from the patch it's a great story, from a developer viewpoint there aren't enough details for it to be satisfying.