3 ms·

I have kept every work note in the same file, saved to git, for a little over two years. Instant help from @Jermolene. Have found no fault with it.