So there's some precedent for option 1, which (come to think of it) is the most attractive option to users who don't like this kind of "magic."