> using bench for some nice statistics 'bench' turns out to be this tool: https://github.com/Gabriel439/bench https://github.com/Gabriel439/bench It seems to

> using bench for some nice statistics 'bench' turns out to be this tool: https://github.com/Gabriel439/bench https://github.com/Gabriel439/bench It seems to be quite useful, and I was not aware of it, thanks! Would probably be nice to have it packaged in distributions...