suggest stopping Sharkey before manually updating
as seen in Discord https://discord.com/channels/1126590789322035230/1163467816284991591/1395135216959623289
running migrations on a database that sharkey is actively using, may result in deadlocks
with this change, we suggest stopping sharkey first