title: Paypal date formatting: what is "HH:MM:SS DD Mmm YY, YYYY PST"?
body: <p>I'm looking at the PayPal <code>IPN docs</code>, and it says the <code>datetime</code> stamps of their strings are formatted as:</p>
  
  <pre><code>HH:MM:SS DD Mmm YY, YYYY PST
  </code></pre>
  
  <p>So year is specified twice?</p>
  
  <p>Once in double digits, and another with 4 digits? </p>
  
  <p>This looks bizarre.</p>