Is this a bug though? I’m not sure opening an issue in github is necessary.
The main Anki developers are here in these forums regularly, and if they have wiser counsel or think there was a reasonable remedy for what you saw – I believe we’ll see them speaking up here.
For example – from the lead developer on a recent post about another Default-deck-related mystery: