Revert "Removed HTML5 docs from main doc set (reflects change made earlier by Bertrand)"

This reverts commit 1130ed3a4bcb684670b2202f1192be6b1cc4b20c.