WARNING: Spoilers lie ahead for parts of ‘Thor: Ragnarok,’ including the post-credits scenes.  If you do not wish to know this information, then…