0.11.1

Two fixes to the profile editor, one of which had been quietly discarding what you saved.

Turning every tool back on now works

In a profile that had been narrowed to a handful of tools, pressing "Select all" and saving did nothing at all. The profile kept its old, shorter list, and the page still told you it had saved.

Once a profile had been narrowed, there was no way back to the full set. You could narrow it further, or clear it out entirely, but widening it again was impossible. "Clear all" always worked, which is part of why this looked so arbitrary.

Your existing profiles are untouched and keep exactly the tools they expose today. If one of them has been stuck on a short list, open it, press "Select all" and save, and it will take.

A profile set to every tool also goes back to following its connector as that connector grows, so tools added later show up on it without you revisiting the profile.

People with access are no longer labelled "not a member"

When the workspace member list failed to load, everyone with access to a profile was shown in red as "not a member", beside a ticked box that would have revoked their access if you had believed it and unticked them. They were members the whole time. The editor now says it could not load the list, instead of claiming the people on it do not belong.