Ah, thanks. I googled it but used the word "plus". I thought that the + wouldn't be recognized, but trying it now actually found it no problem. I guess I need to erase the Google+ era from my mind.