You're right -- they do not and are instead restricting to certain specific classes of number fields. Proving some notion of modularity of all elliptic curves over all number fields is surely completely out of reach at present.