Auto merge of #47528 - GuillaumeGomez:rollup, r=GuillaumeGomez

Rollup of 6 pull requests

- Successful merges: #47250, #47313, #47398, #47468, #47471, #47520
- Failed merges:

diff --cc src/bootstrap/builder.rs
Simple merge

diff --cc src/bootstrap/doc.rs
Simple merge