build

website: upgrade `mike` to version 2.0 #7686

Job	Run time
cargo-deny (advisories)	25s
build (ubuntu-latest)	9m 4s
cargo-deny (bans licenses sources)	23s
Check protos	27s
build (macos-13)	5m 20s
Clippy check	3m 59s
build (windows-latest)	7m 27s
Check that MkDocs can build the docs	21s
Check formatting	13s
build (ubuntu-latest, --all-features)	9m 12s
	36m 51s

Provide feedback