I think, rightly or wrongly, what saved Gabriel was the fact both players went head to head, then Gabriel pushed his forwards making it more of a push with the head, than a headbutt as such. I think you're correct about Haaland saving him by not going down, but I don't hate a caution in that...