bugfix fork of a Firefox extension to display startup timings