Fix comments, regenerate and sign the HTML documentation.