On Thu, 6 Feb 2014, Paul Bone wrote: > Remove HTML added to the reviews.html page by the wayback machine. > > I restored the reviews page page (as we lost our copy) from the internet > wayback machine. We haven't lost our copy -- the master copy is in. compiler/notes/reviews.html. Cheers, Julien.