Random fixes needed after the docs.rs deployment#416

pietroalbini merged 3 commits intomasterrust-lang/docs.rs:masterfrom

post-rustwide-fixesrust-lang/docs.rs:post-rustwide-fixesCopy head branch name to clipboard