<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <span class="h-card" translate="no"><a href="https://hci.social/@chrisamaphone" class="u-url mention">@<span>chrisamaphone</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@arstechnica" class="u-url mention">@<span>arstechnica</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@carloangiuli" class="u-url mention">@<span>carloangiuli</span></a></span> <span class="h-card" translate="no"><a href="https://woof.group/@ccshan" class="u-url mention">@<span>ccshan</span></a></span> I agree that removing him from the faculty list is a little surprising but I think basically consistent with the rest of the actions, if more aggressive than standard.</p>