Rollup of 10 pull requests#94061

Merged

bors merged 22 commits intorust-lang:masterfrom

matthiaskrgr:rollup-oduekp5

Feb 16, 2022

Commits on Dec 28, 2021

Remove FIXME
jhpratt
committed

Commits on Feb 9, 2022

Add a bit more padding on search padding and reduce its font size
GuillaumeGomez
committed

Commits on Feb 14, 2022

Make [u8]::cmp implementation branchless
joboet
committed

Commits on Feb 16, 2022