0.18 - nice map load time!

[Jon8RFC]

I haven't played single player in many months, but it seemed like maybe my map was loading faster than I remembered in 0.17.

It's not huge, but it was noticeable enough for me to check the verbose logging:
0.17.79
2.788959
2.836322
2.795908

0.18.21:
2.578165
2.570029
2.565477

(I didn't do all three runs consecutively, but alternated loading 0.17,0.18,0.17,etc)

Anyway, nice job!