4 ms·Halon's Razor is appropriate here. Before everyone gets up in arms, this is probably a bug.by jwwest 14y agoHalon's Razor is appropriate here. Before everyone gets up in arms, this is probably a bug.