I've made a few corrections and additions to the kendo-ui definitions on DefinitelyTyped, but so far it doesn't look like Telerik takes pull requests for it.
- Should I instead fork and submit pull requests to the telerik/DefinitelyTyped repo?
- If the definition is auto-generated, what's the best way to contribute corrections for future revisions?