How big are the developer tools compared to the rest of Firefox? 5% of the total size? 10%?
Can't the more sophisticated tools be split into a separate extension, leaving only some basic things in the distributed package?
Can't the more sophisticated tools be split into a separate extension, leaving only some basic things in the distributed package?