feat(sources): update documentation

[aws-cdk-automation]

⚠️ This Pull Request updates daily and will overwrite all manual changes pushed to the branch

Updates the documentation source from upstream. See details in workflow run.

---

Automatically created by projen via the "update-source-documentation" workflow

[github-actions]

To work on this Pull Request, please create a new branch and PR. This prevents your work from being deleted by the automation.

Run the following commands inside the repo:

gh co 696
git switch -c fix-pr-696 && git push -u origin HEAD
gh pr create -t "fix: PR #696" --body "Fixes https://github.com/cdklabs/awscdk-service-spec/pull/696"

[github-actions]

@aws-cdk/aws-service-spec: Model database diff detected

├[~] service aws-cloudtrail
│ └ resources
│    ├[~] resource AWS::CloudTrail::EventDataStore
│    │ ├ properties
│    │ │  ├ InsightsDestination: (documentation changed)
│    │ │  └ InsightSelectors: (documentation changed)
│    │ └ types
│    │    └[~] type InsightSelector
│    │      ├  - documentation: A string that contains Insights types that are logged on an event data store.
│    │      │  + documentation: A JSON string that contains a list of Insights types that are logged on an event data store.
│    │      └ properties
│    │         └ InsightType: (documentation changed)
│    └[~] resource AWS::CloudTrail::Trail
│      ├ properties
│      │  └ InsightSelectors: (documentation changed)
│      └ types
│         └[~] type InsightSelector
│           ├  - documentation: A JSON string that contains a list of Insights types that are logged on a trail or event data store.
│           │  + documentation: A JSON string that contains a list of Insights types that are logged on a trail.
│           └ properties
│              └ InsightType: (documentation changed)
├[~] service aws-internetmonitor
│ └ resources
│    └[~] resource AWS::InternetMonitor::Monitor
│      └ types
│         ├[~] type InternetMeasurementsLogDelivery
│         │ └ properties
│         │    └ S3Config: (documentation changed)
│         └[~] type S3Config
│           ├  - documentation: The configuration for publishing Amazon CloudWatch Internet Monitor internet measurements to Amazon S3. The configuration includes the bucket name and (optionally) bucket prefix for the S3 bucket to store the measurements, and the delivery status. The delivery status is `ENABLED` if you choose to deliver internet measurements to S3 logs, and `DISABLED` otherwise.
│           │  The measurements are also published to Amazon CloudWatch Logs.
│           │  + documentation: The configuration for publishing Amazon CloudWatch Internet Monitor internet measurements to Amazon S3. The configuration includes the bucket name and (optionally) prefix for the S3 bucket to store the measurements, and the delivery status. The delivery status is `ENABLED` or `DISABLED` , depending on whether you choose to deliver internet measurements to S3 logs.
│           └ properties
│              ├ BucketName: (documentation changed)
│              ├ BucketPrefix: (documentation changed)
│              └ LogDeliveryStatus: (documentation changed)
└[~] service aws-networkmanager
  └ resources
     └[~] resource AWS::NetworkManager::Device
       └ attributes
          └ CreatedAt: (documentation changed)