ugh, well I can’t repro this locally even if I run the relevant

ci.sh

command and sit on my thumbs for an hour...