Yay! Finally replaced that Xiaomi IP camera with a HomeKit compatible one.