The help page seems to have lost the possibility to search.
https://docs.dataminer.services/user-guide/Getting_started/Getting_Started.html

There is now a Toggle Navigation button, but clicking it doesn't do anything for me.
Is this page under construction?