The GNU sed stream editor