I tried to grep for "♫ piping ♫" at some point and the website got stuck. I wonder what it was trying to do... other than that - nice exercise for newbie shell

I tried to grep for "♫ piping ♫" at some point and the website got stuck. I wonder what it was trying to do... other than that - nice exercise for newbie shell dabblers :-)