Thanks for the heads up. It turns out that we are now much closer to the SQL team, so I'll ping the owner listed on that page & get an update.

Hello phonon, I work in the MSSQL team and have been actively involved in the collaboration. We have been in touch with Michael and plan on improving the landscape here. In the meanwhile, we would love to help you with any technical difficulties you are encountering. Feel free to email me at meetb at Microsoft dot com.