This release is a little smaller than usual due to the previously-mentioned schedule shift, but 5.13.0 still has quite a few new things for developers to play with, as well as plenty of bug fixes.