I am using PlatformIO on VSCode. I live in China, therefore I suffer from a very low downloading speed on the official PyPI site. Each time I want to speed up my PIO-core updates, I will have to terminate the whole VSCode process just before get-platformio.py starts and modify the pip settings manually. I wonder if there are any ways to switch the mirrors elegantly. Look forward to your reply.