Added document lines that name the default device drivers.

Chris inspired me to put info about default drivers into some more documents.