@pcwalton mentions that it's a name from a long long time ago when there were two export maps, but I agree that the rename should probably happen at another time.