2 ms·

Thanks: after three days I think it was the right call. I just found myself burning too much brain energy on things I didn't want to have to care about.