It looks like Github Flavored Markdown is Github's solution to this problem. Instead of attempting the Herculean task of sanitizing arbitrary user supplied html, they give the user a language that is less dangerously powerful.