GitHub #55: Improve unique-name generator
GitHub #55: Select new objects after paste