Clipboard button should copy version for crate, not just the name

[jyn514]

Take https://docs.rs/tokio/1.24.1/tokio/index.html as an example: clicking the clipboard will copy tokio to the clipboard, but ideally it would copy tokio = "1.24.1", like https://docs.rs/crate/tokio/latest does. Rustdoc already has this information because it shows the crate version in the sidebar.

[jyn514]

Take a look around

rust/src/librustdoc/html/static/js/main.js

Lines 1146 to 1152 in a8f7ec2

	window.copy_path = but => {
	const parent = but.parentElement;
	const path = [];
	onEach(parent.childNodes, child => {
	if (child.tagName === "A") {
	path.push(child.textContent);

[atsuzaki]

@rustbot claim

[GuillaumeGomez]

Strongly disagree here. The goal here is to provide a button to copy a path to the current item. It doesn't achieve the same goal as having the crate and its version (which makes sense if you're browsing crates.io for example).

[jyn514]

@GuillaumeGomez when would it be useful to copy the crate name and nothing else? use tokio; is a no-op.

[GuillaumeGomez]

But then you introduce incoherence. How could someone know that copying the crate name would result in something different than any other path? I'd prefer to not special-case this any further. If you're not convinced, we can ask the rustdoc team directly too to see what they think about it.

[workingjubilee]

Honestly, I have never used this functionality and wasn't aware of its existence until I saw this issue open. Given the absolutely huge DOM that we generate, and the render costs thereof, I'm surprised we have such a frill.