Re: map2.31.js

Thanks Mike. I'm looking at the page, and they have shaved off quite a
bit, but it seems inconsistent, so I guess this is still a draft.