hmm, should we really delete these? I am tempted to make an exception for removing dead code. We can never reuse the same IDs, so the gap would need to stay. Maybe would be tempted to use these ids instead of creating new ones. WDYT?