The "expand macros" command prints
$crate, which is reasonable, but
crate or the exact crate name might be more useful since you'd get "more valid" (and closer to
cargo expand) code. WDYT?
yes, this is a good idea
I almost thought that we accept
$crate paths syntactically because of the odd internal handling