Merge pull request #2650 from TheBlueMatt/2023-10-make-clippy-shut-up