If a line is not the one we want to delete,
command `b' of Step [1] will make sed branch to the end of this script,
print the contents of PS (that line), then start a new cycle.
Steps [2] and [3] will append to the end of PS the next 2 lines
following a line containing PAT.
Since GNU sed will print the contents of PS when it performs command `N' on
the last line of a file, we precede command `N' of Step [2] (and [3], too)
with $! to instruct sed not to perform command `N'
on the last line of a file.