Let's file an issue to update this to get back to main or a release. _Originally posted by @franziskuskiefer in https://github.com/cryspen/atlas/pull/40#discussion_r1383236974_