So closing in a hope this got fixed. You still can reopen if this still happens. But it would make more sense to report and handle this upstream.