Re: [Pki-devel] CLI for editing profiles