Merge branch 'gh-pages', remote branch 'origin' into gh-pages
Integrated update about doRDFa