Options are only scoped to goals when the task that registers the option has the same name as the goal. A lot of thought went into that decision based on getting burned in the past where "helpful" disambiguation led to very difficult to diagnose bugs when tasks were added to or removed from a goal. I do not anticipate that behavior changing, and a

repl.repl

task doesn't really make any sense.