@davidrevoy Oh great, hadn't realized you were on Mastodon.