Merge pull request #2463 from TheBlueMatt/2023-07-no-rustdoc-unicode