A set of document IDs to filter by.
If given, only documents with these ids will be pushed and/or pulled.
List<String>? documentIds;