I did just see it was ditto.pub/relay on his list. I didn't realize that at first but maybe someone just has it wrong.