Can you file a bug on the spicedb repo?