Checkin release notes
Set hugging priority for horizontal dividers

In the HTML output window’s status bar, the divider was taking up too much space (on 10.9).