In the last time I hadn’t had the energy to follow many of the discussions in this committee, and I don’t think this will change soon, so I would like to step down from the committee.

If you think it’s OK, I can keep shepherding the proposal which was assigned to me (NoFallibleDo), since it doesn’t feel right to put that on somebody else’s shoulders.