@XanderHenderson The user I have been mentioning for quite a while is now using MathOverflow probably to avoid detection [see mathoverflow.net/questions/395495/… for pestering behaviour]. Also pinging @AsafKaragila as he is a mod on both sites.
@TheSimpliFire I start lecturing in about an hour, and don't expect to be free until later this evening (in about 12 hours). But I poked Asaf, so others are aware of your concerns.
