Migrate to 0.13.5, and Release 0.5