@bender@twtxt.net He’ll probably reply from his other feed, let’s see. :-)