I have a few concern about migrations: are we expected to run

spicedb migrate head

after each SpiceDB release? - Are they guaranteed to be backward-compatible? - Are they guaranteed to be lock-free? - Apparently not: this one is a

CREATE INDEX

which takes a exclusive lock on the table. That's quite a big issue, it would mean serious disruption on a live system