On Mon, Oct 29, 2018 at 7:37 PM Eric Sandeen <sandeen@xxxxxxxxxxx> wrote: > > sorry, my point was just that it's probably better to explicitly name them > than to fall through to a default but I forgot about 2 formats. It's basically down to preference and a choice only you can make. Either you forget one and do too little, or you forget one and do too much. If this is the exhaustive list, I believe you ;).