Grazie per la segnalazione, il recente lavoro di @davidb sembra aver portato alla luce questo problema.
Sarà risolto da