デバイス名が「○○のAirPods Pro」にされちゃうので、設定→Bluetooth→(変えたいデバイスの横の)ⓘ→名前で「AirPods Pro 」にしておいた。半角スペースじゃなく「.」でも何でもOK、前も有効。
Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。