Summary

This is a small release to close issue #924. This will also trigger rebuilding new images to address an issue in the v7.2.5 images.

CHANGELOG

Fixed a report finding ordering feedback loop that could generate excessive Hasura events, database writes, and logs after bulk inserts (Closes #924)
- Finding positions now converge deterministically under concurrent and out-of-order events without delaying collaborative updates
- Long-running collaborative editors renew document-scoped JWTs through the authenticated Django session