Fix inconsistencies in the installation docs thanks to @vinyll

Still a WiP