Request for deletion

Oh...
END RE CHERI