@AndreaMarino I do not know anything about this topic - but at least I'll try to offer some possibilities where to ask.

Of course, if chat doesn't work, probably one should consider posting a question on some of the sites.

I've mentioned this in the Category Theory room and the random cohomology room. No response - but that's not surprising, those rooms are not visited very often.

Perhaps you might try Mathematics chatroom - as you can see, that room is very active.

Or maybe you could try the Discord sever mentioned in this room.

OTOH, it seems that some users still visit this room occasionally. If I look at the list of pingable users, I see: Rune Haugseng, Tyler Lawson, Omar Antolín-Camarena, Denis Nardin, John Palmieri, Saal Hardali, Martin Sleziak.

That basically means that all of them visited this room recently. (I do not remember exactly whether the limit is a week or two weeks - but it should be somewhere in that ballpark.)

Ok, it clearly must be less than two weeks - as the list doesn't show Andrea Marino. So maybe it's about 7 days?