We are using the token I mentioned in basically all of our Marketo alert emails and it does work. Below is what I see in the Email Designer after clicking the Insert Token button and beginning to type the token name in the field.

Jack, a new tab is opened when you click the lead name and the SFDC Detail links as in the example below.
Marketo Alert InformationLead: Matthew OSuch (SFDC Detail)
Campaign: Update Lead Status - MQL (Prospect -> MQL)
Time: Aug 16, 2013 04:31 pm EDT