Docs cleanup install

Various small improvements of the installation docs.