Pitch: Verificador de IP público em PT-BR — e o que aprendi sobre CGNAT no Brasil