Merge "Replace dev.w3.org with more permanent or stable urls"