Closed emgsilva closed 3 years ago
This PR adds an index on the top of the page for easier navigation - it is a rather long page and this should simplify a bit finding the right section.
Thank you. I'm going to merge it now.
This PR adds an index on the top of the page for easier navigation - it is a rather long page and this should simplify a bit finding the right section.