If I add a remote workspace as a seed, the "copy url" feature works, but if I add it as a remote vault it doesn't - can I edit seeds I add, if I have permission to push to that repository, or do I have to add it as a vault to do that? Of course, I only seem to be able to add seeds which are defined already (not my own repos) and I can't work out what's missing if I add my own repo as a seed manually to make it able to copy urls anyway. So I guess that's moot.