fix odd heading in release notes
    
    It sticks out in the table of contents a bit, since we don't have any
    other sub-headings anywhere else in the release notes. It works fine as
    a normal paragraph.