HDMI-CECがおかしくなった場合はまず全HDMIケーブルを引っこ抜いて各機を電源抜き差しして再起動するところから、ですかね。ソフト的にEDIDの認識不良なんかでおかしくなってる時は大体これで治ります。
Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。