I’ve opened a PR; not hoping for a merge right away, but just keeping track of my changes. I’ve updated the button support to use the Hubitat button model: Hubitat’s button implementation
and i’ve also hacked in support for air-pressure reports from this driver: [Release] Xiaomi device drivers