Well, I'd already got the files ready to go, so I just updated the file in the downloads database with the 16-bit source BMP now attached. It would need to be rescaled to be used in a different map size, but it's already in indexed mode, so it would be a one-step operation in GIMP.
