The beaming smile of David Brooks, proudly wearing his yellow Euro 2020 jersey and a bucket hat, instantly raised the spirits of those on the pitch who spotted the 25-year-old's frantic waving.