translation of GNU sed man page