#! /bin/sed -f
# Last edited on 2026-05-31 01:02:12 by stolfi

s:foo:foo:g