I did write a bit about the underlying tech if you're interested :) the tl;dr is that lots of people changing the same number is a difficult problem to solve, but actually the solution is fairly simple! (just ignore all the usual advice and do everything in one single function)
