4 ms·Developer tool is 40 years old: can it be improved?5 points by wbharding 2y agocompressedgas 2y agoIt's diff.