And in the meanwhile, the midnight update came, and went, we're
#822, and posted 23,633 points today, the 48th highest scoring team today.
I will check back in tomorrow and see if the team founders have agreed on a new name.
Until then, my 4 PCs will continue to fold for #36120.