I put the search string alllamportspubsontheweb here to make this page easy to find, and I asked people not to put that string on the Web. Search engines are now better and vandals have put the string on other Web pages. These days, searching for lamport my writings works fine....