Re: [sr-dev] git:master:68717c2a: topos: new module - topology stripping