I think it would have a higher chance to get appropriately noticed if submitted as a proper pull request ...