Comment by teddyh

For those who missed it, his Mastodon is: https://mas.to/@paulg