Converts a list of strings to a list of protocol IDs.
static List<ProtocolID> convertFromStrings(List<String> ids) { return ids.map((id) => id).toList(); }