in de/synthetic.py [0:0]
def convert_dedupe_images_to_png(directory):
directory = Path(directory)
for ppm in directory.iterdir():
if ppm.suffix == ".ppm":
png = ppm.with_suffix(".png")
with Image.open(ppm) as img:
img.save(png, "PNG")
ppm.unlink()