He hasn't, yet, but it's anyone's guess what's he's going to do.

Regardless, development isn't going to stop, we may just have to switch to shipping as a DKMS module. And considering the issues we've had with getting bugfixes out that might have been the better way all along.