RE: [Pki-users] file publishing question