```bash
mpremote mip install "github:peterhinch/micropython_ir/ir_rx"
```