コロナ禍がなかったら東武10000系のリニュアルもしくは、ワンマン化改造が進んでいたかもしれないが