Thanks for the pull request, looks good to me. Small suggestion, you could remove the documentation fix (related to user_data_xsd) from the commit. Then we could fix it as a dedicated commit and also backport it.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.