Please do not use GitHub.com for bugs and suggestions – the development is happening on GitLab.com: https://gitlab.com/postgres-ai/database-lab.