Proof of concept of open badges as an HTML microformat.