Robin Berjon @robinberjon · 6 Nov 2014 Replying to @danbri No, w3c/html has both history and source; the one I just released is the built version. E.g. for translators. @karlpro