On Sat, Jul 21, 2012 at 9:47 PM, Danilo Almeida <dalmeida at mit.edu> wrote: >> No, it's the same format. We should not introduce a new file >> type suffix, IMO. > > Such as .clkeytab, right? Sounds good to me. Or perhaps .clikeytab? No, same format == same suffix, .keytab.