Hello, i would like ton install spicedb on my raspbery pi 5, i have the doc here https://authzed.com/docs/spicedb/getting-started/installing-spicedb but is that ll install the playground web interface too? thank