Fixes #4998: Installation section is too hard to follow