May 12, 2012
3:12 a.m.
On 05/11/2012 07:19 PM, Tobias Conradi wrote:
- to create a file "indian"
We haven't created a file like that since 1988 (when we added "africa" and "antarctica"). If we add "indian" then for consistency we should also create "atlantic" and "pacific" and "arctic" as well, and move a lot of stuff around, to be consistent, with lots of fun decisions to make about borderline cases. It's not clear that such a reorganization would overall be a win; these days, it might even make more sense to have one big text file than several little ones, if only to avoid arguments over how many files there should be and which entries should be in which file.