Tiled 0.13.0 released

Well, that only works for tilesets based on a single image, not for image collection tilesets. :-)

But indeed, this tilecount attribute is purely optional. It’s just there if somebody wants to use it, but really it would only save a few not generally noticeable memory allocations. Actually if you’re that much into speed, you probably want to implement a custom map format for your game.