*Very* casual fan and this is really the first World Cup I've followed, but... I actually feel that there are much worse ways to lose than forcing your opponent to pull it out by literal centimeters in sudden death penalty kicks after regular penalty kicks after overtime after extra time? (For example, playing like in the group matches... 😬 )
Anyway, well played to both teams. Still rooting for Nigeria, Colombia, Jamaica, Morocco, and *anyone* facing England!