Definitely raster to svg conversion. The giveaway (besides complex SVG generation being too difficult, as you say) is the splotchiness of the images, since the

Definitely raster to svg conversion. The giveaway (besides complex SVG generation being too difficult, as you say) is the splotchiness of the images, since the vectorization doesn't work super well with gradients.