simple and short sed vs. complicated and long awk. this too might not last forever.