Robin Berjon @robinberjon · 18 Jul 2013 Replying to @stevefaulkner Mike has all the keys so he should be fine. The script is at the root of htmlwg.org.
