Merge branch 'release/0.81.3' into develop
migration: avoid a nasty crash in the middle, in case the migrated thing is really bad.
Don't re-launch global refresh tasks over-and-over again if there are some already stuck in the celery queue.
More workers is better.
version bump for 0.81.4.
Merge branch 'release/0.81.4' into develop
Merge branch 'release/0.81.4'
migration: less corner-case errors (CECA) and more information between steps.
version bump for 0.81.5.
Merge branch 'release/0.81.5'