A wordpress plugin to use html5 markup with the thematic theme framework