Wholly unimportant cleanup in metrics.js
Use performance.now() to make inspector metrics more precise