@damiano10 Hi there and congratulations. Happen to share a pre-print (privately or publicly)? I’d be interested. Thanks!
@lbenedix Open the app. Then in the console paste the code that I’ve just sent to you. You can look at the bots via Object.keys(b). Works?
@lbenedix b={},s=new EventSource(“/sse”),s.addEventListener(“enedit”,function(e){if(d=JSON.parse(e.data),d.isBot){b[d.editor]=1}})