Better docs for the empty lib/ dir.