Release 5.3

As usual, new versions call for patches and last-minute improvement.

This version is basically the same as 5.2.1, with the following changes:

Sorry, this version is no longer available.