18601-master+fix17897-cbn-wrong-canonical-name-refolding.rst

• Fixed: Support for refolding reduced global mutual fixpoints/cofixpoints with parameters in :tacn:`cbn` (#18601, fixes part of #4056, by Hugo Herbelin).