V7 stable install doc update

aha... It now looks much better after I have merged in the official changes and github now also means it is able to merge. So it looks like the "merge-up" process we use tends to break PR. In that light, it would probably be best to merge in the PRs first, and then do a merge-up... I guess we need to experiment with this a bit more.