The bug has been flip-flopping for years now. I know no way of reliably reproducing it but I do expect it to reappear and then go away at random. I reported it because of the work-around that immediately helps.