# Last edited on 2026-01-23 15:51:30 by stolfi Python program to display an image and pick points on it with the mouse, which get written to {stdout}.