Indeed I am the fully-scoped flag name champion. Well, I think I have made my peace with it. I’m not sure about how to glue together a common subsystem for both

Distribution

and

JvmPlatform

and making it obvious which subsystem to depend on. I’m going to put a little PR in to make the internal message we have when we forget to do that a bit clearer though.