ruff

Option (`-o`/`--output-file`) to write output to a file

#4950

Merged