Release v0.5.3

Also cherry pick some helper scripts.