Re: [Python-ideas] size of the installation of Python on mobile devices