I'd like to be able to copy many documents at once n a JSON format. Today, I need to export all output documents for my aggregation pipeline or my query, or I need to manually copy multiple documents one-at-a-time. Ideally, I could copy many documents at the same time to my clipboard without needing to export to a separate file.