A simple but effective mini-profiler for Node.js websites