* gnulib-tool (SED): Remove, undoing previous change.