2014.10.26 02:56:10 (526175419351846912) from Daniel J. Bernstein:
"We reviewed your account ... your current user ID exceeds 20 characters. Our new online platform limits user IDs to 20 characters." Sigh.