Avoid using recently-deprecated GtkMisc
Update NEWS for 3.13.2 release