Useful one-line scripts for sed