The word driver is a misnomer. In the old version, we used the word driver to refer to all the concepts of planner, primitives and env server. After a clean PR, these driver words were split into the original concepts. It should therefore not appear in the docs now.
The word
driveris a misnomer. In the old version, we used the worddriverto refer to all the concepts ofplanner,primitivesandenv server. After a clean PR, thesedriverwords were split into the original concepts. It should therefore not appear in the docs now.