* Add micropip * Remove CORS proxy for metadata * Update docs * Support loading a mixture of built-in and PyPI packages