web development 1 webext-profiler: Puppeteer-based automated performance profiling tool of browser extensions Jan 13, 2024