style: fix a pile of "dumb but fair" clippy lints

[hawkw]

basically all of these are related to doc comments in various ways. to which i generally say: "who cares?"