This squashes a bunch of warnings. Squashing all those spurious
warnings also made it easier to see a legitimate warning, which was
that the installation channel documentation wasn't accessible from
anywhere. This is now also fixed.

The "Installation" section also got reordered a little bit.