Thread:Sp012911/@comment-46443814-20201001183626/@comment-44975735-20201006142304

I found where the name was mentioned (or at least one of the places). It's in the "Did You Know???" clip, which is included as one of the bonuses on the Frozen II Blu-ray disc.