Link to webots.cloud documentation

[stefaniapedrazzi]

Personally I think that a link to the dcoumentation is currently missing.
I know that the documentation has been added to the Webots User Guide, but regular users will never find it without a direct link.

[omichel]

I agree. Do you have an idea on where precisely to add such a link?

[stefaniapedrazzi]

It could be added to the user menu, but then it would only be visible when a user is logged in.
Maybe adding the link in the top bar.

Another option would be to add an help button close to the "Add new ..." buttons in each tab, but then it should be a contextual documentation pointing to the documentation of the selected tab.

[omichel]

I prefer the second option, e.g., adding a "Help" button next to the "Add new..." button.