Sergio Merino Hernández authored Nov 19, 2020 and Jose Javier Merchante committed Nov 24, 2020

This commit will update the documentation of almost every metric and
visualization in order to include information about the new repository
filtering option