If I understand right those two PIPs were note even implemented... as of yet.
It would be nice to implement at least PIP-0012.
In fact, if one doesn't move coins for 4 years, it doesn't mean those coins are permanently lost. Speaking of coinrot in such case is inappropriate.
Frankly speaking, if the dev's goal indeed was to fight a coinrot, that inactivity period should have been changed to 80-100 years at least, to imitate a person lifetime. Having it equal to 4 years smells like a forced nationalization (basically - misappropriation) of money, much similar in effect to government printing money and causing a dilution of people's savings.
Yes I agree that the idea is Good but the parameter chose of 4 years for recovery is shit . imagine whene exchange list the coin and then they should support the coin and if there is inactive activity of user for 4 year ( it is a short vary short period ) so they have to deal with a tons of mail to get support of their Client ....My own opinion never respectfull exchange will list the coin just for this .