Well we shouldn't have needed these drivers in the first place. I only bothered tinkering with them because I couldn't send my device for RMA.
As for system menu - modifying the original wifi script should be super trivial, ut just loads/unloads the module, you change the module name and that's it. Not sure it's necessary since you have a nice reliable hardware toggle (just pull out the dongle), but it's doable. Or it can be copied and modified, really simple.
The driver is going to be included into firmware if I understand notaz correct.
OTOH making PNDs worths learning, so I think I'll make one next week (I'm having some IRL things to do this weekend, and my server needs some love, after that I'm ready to play with that).
hf6 is needed anyway - the driver wouldn't work with hf5, would just throw a bunch of errors at you. Kernel black magick and such.
Upd. ED just said they are going to sell these Pandoras w/o internal wifi chips bundled with RTL8188SU dongles, so there's going to be even more dongles supported.