へぇー。
DisplayPort:モニターの電源を切ると、PCとの接続が失われる。HDMI:モニターの電源を切っても、PCとの接続は生きたまま。
"【違いを解説】HDMIとDisplayPort、どっちが良い?→迷ったらHDMIがいいよ | けしろぐ" https://keshilog.com/hdmi-vs-dp/
Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。