It was interesting to discover that Mozilla has
had a severe Bidi bug in print headers just about for ever. Print headers didn’t exist when we designed Bidi; we never noticed the bug when they sneaked in a few months before we started checking code in to the tree; and nobody has ever noticed it since. It just goes to show that people don’t
print much, or don’t look very hard at the results.