Patch release. Will only contain minor bug fixes, minor cosmetic features, new targets not requiring changes to the main code base. Backports/cherry-picks are welcome to `release_2.5.2` branch. This branch will NOT be merged to `master`.