2021-05-10: Version 2.5.2

Version 2.5.2 was released yesterday with one more fix on top of 2.5.1.