math.bits: Clean up the docs some more.
help.lint.checks: better error message for non-unique $see-also.