4 ms·

Good question, I'll try to add that. Maybe more importantly, what is the startup time for the two versions?

• Nemcue 12y ago
  Would also be interesting: Perform some operations, compare flame charts from Chrome developer tools.
  • sethladd 12y ago
    Also a good idea! Gah, I need more time.