Don't know if this is the adequate channel, so feel free to link this request to a more appropriate section.
I switched from Classic to Allura and began playing with Settings/Configuration to get an idea of the new features. I installed tools to see what they look like. Then I decided I didn't need some, but I could not find how to uninstall them. All I could do was move them around, changing their order in the menu.
I also tried to unsubscribe from my user account to no avail.
The page at https://sourceforge.net/p/forge/documentation/Docs%20Home/ did not give any clue since some links lead to nowhere (e.g. links to project admin).
Is there a means to uninstall tools? If not, it would be nice to be able to do it (for instance, through drag-and-drop the tool from the "installed area to the "install tool" area).
Is there a comprehensive Allura User's Manual (not an installation or developer manual) somewhere?