4 ms·

What I find surprising is that there's an online tool for math collaboration (github for maths?), and that it turns out to be rather useful.