To whichever mod made the comment on my post, thank you for the kind words.
Avira, IIRC, it was R’ Akiva’s shiur on the tagin that Moshe couldn’t understand, and he was upset by it. Then someone asked R’ Akiva where these ideas came from, and he said it was from Moshe m’Sinai, and then Moshe felt better about it.
Having people explain Torah to Malachim is easy to understand, because Torah lo bashamayim hi. In Shamayim they don’t necessarily know what the meaning behind a Gemara is, because that meaning is defined here. It’s up to us to decide what the meaning is.