Re: [Python-ideas] Contributions to official documentation versus contributions to wiki