Re: [Python-ideas] Command line options