Posted too early: comments are missed only after 48 or 72h, three out of four were already renamed. The last one was only a few hours old.