Is this Tony from Iron Man, which was serialized at the same time? Also, did Thor appear in any of his comics then? (This is a frame from Thor: God of Thunder #3 and I'm using the deepl translation)