the syntax puts this in the Installation line:
Installation PATCH75682.91 of PATCH75681 complete
Installation PATCH76537.91 of PATCH76537 complete
Installation PATCH92217.91 of PATCH92217 complete
So I'm looking for a sed 's///' to remove the first PATCHxxxx occurance,
but if I try
sed 's/PATCH[0-9]//' infile > outfile
I still have xxxx.xx in the line. Do I need [0-9] for each digit?