@johnjohnston He was on Micro.blog but quit a few years ago