Comment 21 for bug 1837905

Yes, disco has been verified by "verification-done-stein" since the default for stein is disco. Is that makes sense for you?