Rollup of 4 pull requests#85639

Merged

bors merged 14 commits intorust-lang:masterfrom

GuillaumeGomez:rollup-modinsi

May 24, 2021

Commits on May 13, 2021

Fix indentation in move keyword documentation
th1000s
committed

Commits on May 21, 2021

Fix search results display
GuillaumeGomez
committed

Commits on May 22, 2021