This is exactly the right Markdown implementation for WordPress. Double-bonus points to Mark Jaquith for using Markdown Extra.