Homekit対応のCO2モニターでQingping Air Monitor Lite を購入してみました。思ったより小さくて良かったのです。Netatmoとほぼ同じ値が出ていて、精度は良さそうです。値の更新が結構早く、USB-Cで充電できるのも良いかなと思います。ホームアプリには追加させられたのですが、Mi homeアプリが対応してないようで、そちらからの設定はできませんでした。
https://www.amazon.co.jp/gp/product/B092HK4BB1/
Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。