3 ms·

Thanks -- these are both great ideas; I've opened a ticket: https://github.com/sagemathinc/smc/issues/93 https://github.com/sagemathinc/smc/issues/93