Many corrections and enhancements to installation docs