Seems like a very interesting challenge for automation of raster to vector scanning/software, and QC/checking that the raster-to-vector pipeline hasn't hallucinated something or joined two shapes together that should be discrete objects.

I would presume they're starting with very high res lossless raster scans and storing those in some sort of index, then making them available for different pipelines of processing?