Thanks for looking into this! Your analysis sounds reasonable to me.
Perhaps rustdoc should generate a boilerplate license statement and link it from somewhere discoverable.
We need to be sure to differentiate between the license for the code and the content, since the content could be under arbitrary license. Though Cargo does often know this and might be able
to pass it to rustdoc.
As to your questions, IANAL!