# Replace `micropip` by a pure-js implementation