I lean towards what @Nemo157 said here: if we want to reduce page-size, a middleware with a minimizer would be the better approach, because it would also minify the rustdoc html.

But: I could imagine even with a minimizer, the size impact (compressed) is negligible, same as the impact on parsing speed in a browser.

And this is coming with an odd (?) style in our templates, which will be difficult to maintain with future changes coming from contributors.

That being said, this doesn't hurt. When I'm back from my short trip I'll have a look & will test in detail.