I realized that several builds of the CI workflow failed with unexpected compilation errors, in particular BoolParams seem to be missing. Potential reason: I published PyNormaliz v 2.23 a while before Normaliz 3.11.0. Next time it will be the other way round.