Assume that you want to use sed to delete every line in the file gas.htm that contains the string half. Which of the following would you use?

cat gas.htm $|$ sed s$/$half$//$

cat gas.htm $|$ sed d$/$half$//$

cat gas.htm $|$ sed s$/$half$/$

cat gas.htm $|$ sed $\text{'}/$half$/$ d$\text{'}$