Chayim Refael Friedman ea140ef0a8 Do not remove the original token when descending into derives
This caused rename to remove both, because it couldn't rename the derive-expanded one.

I spent some time trying to create a test for this, before giving up. But I checked manually that this works.
2025-08-05 01:04:21 +03:00
..
2025-07-31 10:55:10 +02:00
2025-07-31 10:55:10 +02:00
2025-07-31 10:55:10 +02:00
2025-07-20 11:56:45 +03:00
2025-07-31 10:55:10 +02:00
2025-07-31 10:55:10 +02:00
2025-07-31 10:55:10 +02:00
2025-06-23 00:50:22 +03:00
2025-07-31 09:55:07 +02:00
2025-06-23 00:50:22 +03:00
2025-07-31 10:55:10 +02:00
2025-07-31 10:55:10 +02:00
2025-06-23 00:50:22 +03:00
2025-07-31 10:55:10 +02:00
2025-07-31 10:55:10 +02:00
2025-06-23 00:50:22 +03:00
2025-07-31 10:55:10 +02:00
2025-07-03 10:05:16 +02:00
2025-07-31 10:55:10 +02:00