SDK `DataLoader`s 9: polish, docs, etc #8373

Job	Run time
rust-paths-filter	4s
cpp-paths-filter	7s
Checks / Python lints (ruff, mypy, …)	5m 53s
Checks / Test Python Docs	26s
Checks / Check if running codegen would produce any changes	3m 3s
Checks / Rerun lints	2m 32s
Checks / Spell Check	8s
Checks / Misc formatting	18s
Build JS / Build	4m 2s
Build Web / Build Web (wasm32 + wasm-bindgen)	6m 35s
Minimum Wheel Build / Set Config (linux)	3s
Update PR Body / Update PR body	1m 57s
Rust Checks / Rust lints (fmt, check, cranky, tests, doc)	19m 9s
Rust Checks / Check Rust web build (wasm32 + wasm-bindgen)	5m 42s
Rust Checks / Lint TOML files	22s
Rust Checks / Cargo Deny	2m 22s
C++ tests / matrix_prep	4s
C++ tests / C++ formatting check	3m 27s
C++ tests / C++ build & test - Linux x64, C++17	3m 15s
C++ tests / C++ build & test - Linux x64, C++20	3m 31s
C++ tests / C++ build & test - Windows x64	8m 8s
C++ tests / C++ build & test - Mac aarch64	6m 43s
Minimum Wheel Build / Build Wheels (ubuntu-latest-16-cores)	3m 50s
Run Notebook / Run notebook	2m 27s
Build Examples / Build Examples	42s
Minimum Wheel Test / Set Config (linux)	1s
Minimum Wheel Test / Test Wheels (ubuntu-latest-16-cores)	2m 15s
Upload Examples	0s
Track Sizes	0s
Upload Web / Upload web build to google cloud (wasm32 + wasm-bindgen)	31s
Save PR Summary	0s
	1h 27m 37s

Provide feedback