Merge proposals

rust-educe in Ubuntu has no merge proposals.