[crux-commits] ports/contrib (3.7): pyright: 1.1.387 -> 1.1.388