We have a whole crew of developers without whom many of our best features would not exist.
We could make this the default for our regular CD boot as well, since people sometimes forget to eject the CD-ROM.