Follow-up: [T115572] has now been closed (thanks to André’s work with T112460) ; there is some additional work on [T132029].