sage-dev: optional flag online -> internet