For people who set autoremove_deleted_items_from_history to true, file is removed from history when Deleted or 'Purge .sdr'. This also update lastfile to the new top in history if needed.
en_US:us