Checkpoint: Improving search, fleashing out source editor
Removing dump.rdb