We moved! Go to http://w3c.github.io/user-timing/ instead.