So, another patch, and the bug is still unsolved. Now this is my personal crusade. This bug’s birthday is near.