ruff

Add an overview of Ruff's compilation pipeline to the docs

#5719

Merged