F#https://github.com/OpenSeaMap/depth/issues/26: provide upload date