There was plenty of jeering from Grêmio and its fans after Internacional was eliminated from the Libertadores. And, of course ...