Fixes #6576: Installation documentation.