The GNU ed line editor