I didn’t notice this in the documentations generated by the previous versions of Documenter, but maybe I was just ignorant: what is the upward arrowhead at the top-right corner, indicated by the red circle in the screenshot below?
Clicking it turns it to a downward arrowhead, but nothing happens.