shouldn't be long..
we've been testing, and downloading chains from scratch etc..
I hope so, thanks for testing!
regarding 0.00000001 = a Mikhail
i'm now starting to think maybe sounds better if it's a Sindeyev
has a better ring to it maybe..
what do you think?
You are right, Sindeyev sounds better to me - but only a bit, so I'm undecided. (Not sure if that's an argument, but note that Sindeyev is probably transcribed differently in non-English languages (I'd write it as Sindejew in German, for instance) ... at least that's my experience with Russian mathematicians' names. I don't know if that could cause confusion.)