uPyCraft uPy_lib 建立求助(总是空的，下载模块)

急想求教：uPy_lib 中的文件是怎么来的（我试用各种电脑系统装都是空的?）。uPyCraft 怎么下载模块（如 websocket），并 import 成功？
其实，我是在 thonny 中遇到这个问题，实在找不到有人提及。但 thonny 环境复杂（已有大量lib库，import 出错人们总误以为是路径不对），
怕说不清，所以用相对精简的uPyCraft来求教。
我熟悉地知道，自己编的库.py 一般放到设备的 /common 下、下载的常用库（如 microdot-main）一般放到设备的 /lib 下，调试 .py 程序就在设备的根即可。
Python pip install 的模块都非常大（不能整个都放入设备），import（还没在设备直接出错）的只是需要的其中部分，怎么选（如只需要 websocket-client）？