Allow selecting punned entities in remove and filter command#1251

jamesaoverton merged 3 commits intoontodev:masterontodev/robot:masterfrom

gouttegd:allow-selecting-punned-entitiesgouttegd/robot:allow-selecting-punned-entitiesCopy head branch name to clipboard