[MM3-users] Upgrading dockerized Mailman3 from 0.4 to 0.5.1

I am a happy user running Mailman 3, dockerized, in combination with Mailcow. After a few initial problems, everything is running smoothly. Now I'm considering upgrading from 0.4 to 0.5.1, but I'm not sure about the right procedure. Is it something like this?

• Stop Containers: # docker compose down
• Change the two occurrences of "0.4" to "0.5.1" in my docker-compose.yaml file
• Pull New Images: # docker compose pull
• Restart: # docker compose up -d

Will there be any need for database migrations?

Thanks for all the work many of you has put into this.