This commit does two things: * Re-works the module-level documentation. * Cleaning up wording and adding links to where error types are used. Part of #29364
-D warnings
#![deny(warnings)]
T: Bound