@SylvieLorxu We have had the same problem with NewPipe years ago. We only realized that the ticket had been hidden because we were working on it at that time and it was suddenly gone. The author had been reported in a different context for spam and GitHub just hid all issues the user created. IIRC GItHub offered to unhide the ticket during our exchange with them.