deleteGroup(groupID: GroupID) {
        const ind = this.source.g.findIndex((group) => group.id === groupID);
        if (ind >= 0) {
            this.source.g.splice(ind, 1);
            this.source.del.g[groupID] = Date.now();