3 ms·

Makes sense to me. I've been using this and calling it "jsonlog" format, but now I can switch to a hopefully more standard name.