Remove miscellaneous from top of documents page

Merged Joren Vrancken requested to merge misc_documents into master

Short description

It is a bit weird that the top of the documents page says miscellaneous documents. You would expect that the top of the page presents the most important documents. This change reflects that.

Merge request reports