Headline scraping now done with Beautiful Soup 4; small changes to LaTeX escaping and table-column width.