在树莓派 Pico 上使用红外线接收模块（HX1838 型），我们采用开源的 pico_ir 库。 这需要下载整个库文件，解压之后将其中的 pico_ir 目录整体上传到 Pico 的根目录。可以使用 Thonny 的 File 功能框上...