mozilla/webtools/tinderbox2/src/lib/TinderHeader
