Yes, they extract gmapsupp.img for people to use directly. I figure it’s a lot easier than to download all the little pieces and stitch, or planet.pbm and extract them. But wither way, hoping the feedback would be applied to mkgmap or openmapchest.org and get smaller gmapsupp.img.