Add a formula for GNU ed 1.8