Just noting that Crux has been rebranded to https://xtdb.com/ https://xtdb.com/ (as per https://xtdb.com/blog/crux-to-xtdb-rename/ https://xtdb.com/blog/crux-to

Just noting that Crux has been rebranded to https://xtdb.com/ https://xtdb.com/ (as per https://xtdb.com/blog/crux-to-xtdb-rename/ https://xtdb.com/blog/crux-to-xtdb-rename/)