That seems likely. Maybe Disney shipped them the list and maybe they didn't. And presumably Disney could own copyright (trademark?) to some elements of the Loki and Thor characters as represented in the MCU. They just obviously can't own the name, as they can with many other characters.