Tweak prompt, remove Docker export