github deve aggiungere un'opzione "non quei plebei" per mostrare/nascondere i commenti