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