Skip to content

Doc updates and minor tweaks

Guido Güntherrequested to merge
doc-updates into main

@arun-mani-j @manut this contains a name change proposal. Let me know if it makes sense to you.

Merge request reports