This drops all references to STI, updates the pipeline page to
cover what pipelines we still have and what they really do, and
drops several pages that are now obsolete. The nav sidebar and
index page are updated appropriately for the changes. We also
correct the pipeline section on the index page, cover Packit
there, and de-emphasize some Pagure stuff because there is no
pagure.io any more (while keeping bits that are relevant to
dist-git Pagure).
Signed-off-by: Adam Williamson <awilliam@redhat.com>
Reviewed-on: #95
Reviewed-by: Cristian Le <fedora@lecris.me>
Page overview already provided on the right side, no need to
duplicate table of contents in individual pages. Plus added
several changes to fix local docs building. Correct links.
