We don't install documentation to save space. It seems pointless in this modern age where the online docs are probably more up to date. However I do believe this should be an option, defaulting to "don't install".