Re: [PATCH] rust: allow `clippy::disallowed_names` for doctests