Another good change in the latest Mastodon build (there are frequent changes on @Gargron's mastodon.social instance): Now private mentions are well labeled and -- even better -- marked by a different color. Thank you!