Docs: more installation tweaks