That's good to know, thanks @OpenDave.
I did get the drivers up again in my home repository. Here are some instructions on transitioning to the new copies.