Ah, you understand me (and the post) just fine -- hence I mentioned that my comment is a bit out there and not exactly on topic. I am simply wondering if this

Ah, you understand me (and the post) just fine -- hence I mentioned that my comment is a bit out there and not exactly on topic. I am simply wondering if this would prompt more interest in reducing Rust's final binary sizes, that's all.