Return a list of countries for which we have a specification.
List<String> getCountries() { return specifications.keys.toList(growable: false); }