Re: [Python-ideas] Making colons optional?