pico-engine
pico-engine copied to clipboard
before a pico is deleted, its subscriptions should be deleted
otherwise it becomes impossible to remove the subscription from the other pico, even though it still remains