2013.07.21 00:01:24 (358708243322773504) from Daniel J. Bernstein:
We also have an 1811-byte Python script to print tweetnacl.h. Would it spoil the 100-tweet purity of @TweetNaCl to tweet the script there?