Should be much easier to maintain and to integrate into the website. First steps are done for section `installing`, but still need to substitute version numbers automatically instead of duplicating them in the document.