← GNU sed, a stream editor