Move the 2 enhancements that were listed under 2.13.1 into dev section.

They haven't been released yet (patch releases shouldn't contain new
features), and were erroneously added to the 2.13.1 section.