trevelyan on June 5, 2012
I think we removed it during the second-to-last upgrade, when we redesigned the header with the click-down menu. I'll see if I can get it re-added today. In the meantime, perhaps you can use Google....
* we'll automatically turn your links into html.