Fix adding comment in a PR
    
    The HTML in the PR page changed a little and the form is no longer where
    we used to have it. So we add directly the comments in the request_comment
    section.