Removing a project doesn't seem to unmount dirs on boss
If I remove project
bar, the mounts of
/groups/bar seem to still exist on boss. Not normally a problem except when you want to immediately reuse the project name.
This will possibly involve flushing of amd or automounter state as well as just doing unmounts.