Wow, I am also impressed by the tech behind! https://github.com/authzed/zanzibar-annotated

That's neat! All papers should allow this discussion on them.

BTW, didn't Google released something like it too early?