In the Errors view, in the header the name of the worker pool lacks the "/". So it's not convenient to locate the worker pool in the db (no copy-paste).

Let's display the name exactly as it is.

Would be even better if the header was a link leading to that worker pool view.

I'm not sure I understand the issue. Do you have a screenshot or a link I could look at, please?

You see how the name of the worker pool appears "Taskgraph 1 Linux"? The real name is "taskgraph-1/linux"

The practical need is, for example, to copy the name and search for workers in aws (the workers are tagged with the worker pool name)

It doesn't have to be the header either. If changing the header proves difficult, it might be a better idea to list the actual name somewhere separately, so that it could be copied straight from the errors page

Aha, I understand. That makes sense!

Filed https://github.com/taskcluster/taskcluster/issues/1682.

Resolved in https://github.com/taskcluster/taskcluster/commit/08a316b1111cab297910034ca7f42c75a05d087a.