Luego me fui a "Configuración de la comunidad" en el menú lateral
Y en Usuarios Ocultos estaba el usuario que oculté (ahora no lo está y me da miedo probar con otro comentario no lo vaya a perder de nuevo, pero pongo captura de pantalla de cómo quedó tras "eliminar" de Usuarios Ocultos a dicho usuario):