Added the document date as deducted from the text and removed "(yesterday)" from the text -- it previously read "On July 7 (yesterday) [...]". Will attach a diff in a jiff.
Created attachment 152711 [details] [diff] [review] Diff to the version described in the bug text Please note it uses Windows line breaks, if that matters.
Confirming. The page (shell.html) has been changed several times after July 7. This is frustrating. fantasai, can we have a policy on what document ought to be dated and what can be modified at will?
I still think the original document release date should have been shown somewhere in HTML--the way the page looks now, nobody knows when it was originally posted, they can only see when it was last modified. Ok, geeky people like me and you will probably check the CVS history if interested enough, but people at large want a visible release date. IMHO, obviosuly.