Rustdoc compressed doc

[pickfire]

From rust-lang/docs.rs#360

The local docs are not compressed, it took up 635 MB for the current stable, half the size of the whole toolchain (1.2 GB). I think we can reopen this, but one issue is browser does not work with locally compressed files.

If the web browsers can still work with local compressed files, then I'm totally going to add it. @GuillaumeGomez

Currently local docs are stored uncompressed, one way is to start a server but that would requires user to have a step to start documentation server which makes the user experience worse. Maybe a more feasible way is to be able to compressed part of the local docs and store it in a better way?

Or we just have to wait until browsers support opening locally compressed docs.

[GuillaumeGomez]

It's been discussed a few times already. If I remember correctly what we concluded in the last discussion about this, we don't want to require users to run a web server in order to access any documentation as it would greatly increase the complexity to access it and it would also need us to distribute a web server for that alongside the rust installation.