updated 2-year old note (done by Sanjoy, who cannot edit a main page when logged in, due to a bug either in Firefox or in the wiki)
14:14