Add some of the latest 0.13.5 changes to the doc.