<div dir="auto">The way upstream rust behaves, rust-opt will be needed within months of 15.1 in any case. I wouldn't have a problem with continuing to maintain it in the meantime.</div>