Update specification URLs in html/.