Shrink space used by priv-switching history. #4206