Also in their website https://catala-lang.org/en/about#naming