If a project has many tools (e.g. separate GIT projects), then the left menu becomes difficult to be structured. It would be beneficial if <hr> or better text lines could be entered, to label a new section of elements.
This would in some cases be a better alternative to making sub-projects, as these are much more cumbersome to navigate through.