Hi Team, I know most are likely on holidays, just a quick bump on this request. If nobody has time to maintain Amor we can archive it. Justin On 23/12/22 20:14, David Faure wrote: > On jeudi 22 décembre 2022 19:47:09 CET Jack wrote: >> Question: Does the amor team want to support a released version? > Any universal statement about the elements of the empty set is true ;) >