loader.py: use the full name of the element when looking up a workspace

Merge request reports

Loading