The official report does not list him, but both de Wael and sports-reference include him, with the latter even giving a score.
The official document does not mention him, but both de Wael and sports-reference credit him, with the latter even providing a score.