Hi all, the value tool plugin is missing from the contributed repo. Can anyone have a look to the issue? I'm in the middle of a training course and the tool is pretty fundamental. Thanks in advance -- Giovanni --