I'm posting this here as a general notice that this long-standing bug is fixed.