This lint can help make it clearer which items are actually exposed in the public API.
This is a pure git rename in order to make sure that git can follow history. The next commit will integrate these into mdbook-driver.