Reduce page size and number of DOM elements on clippy lints page#15140

samueltardieu merged 1 commit intorust-lang:masterrust-lang/rust-clippy:masterfrom

GuillaumeGomez:reduce-clippy-lints-page-sizeGuillaumeGomez/rust-clippy:reduce-clippy-lints-page-sizeCopy head branch name to clipboard