-manager URL
This CLI arg isn't actually used by the subsequent code, so better to not have it for now.