Too easy to accidentally delete symbols. Should ask to confirm first. Sometimes we don't even know it's accidentally deleted and do not remember which symbols to add back.