This proposal removes validators from the validator set. These validators have ceased their activities as validators. The purpose of this proposal is to keep the validator set aligned with the set of actively participating operators.