Drop in a little performance logging (also untabify jripl.js).