Small question: Was the allowed characters for Object IDs expanded at a later date. I remember when first trying to use SpiceDB

/

character was not allowed. Maybe I'm remembering it wrong.

I believe so, at some point not only we increased the allowed size, but also relaxed the regular expression

Thank you so much.