Optional: fragment IDs to filter machines in the picker
@$pb.TagNumber(4) $core.List<$core.String> get fragmentIds => $_getList(3);