[ext-clones] new extension that introduces `refKey`, which may occur     multiple times in one tree
[ext-clones] highlight original node if a clone is created