is the search bar on the docs site broken i m having trouble SpiceDB #spicedb

is the search bar on the docs site broken? i'm hav...

yetitwo

05/25/2022, 4:35 PM

is the search bar on the docs site broken? i'm having trouble getting it to produce any results