Version 0.90.13

Corrected ten places where our own code described itself wrongly — including four that said this server records the size of your original files.

On 18 August the size this server keeps stopped being the length of your original file and became the length of the encrypted bytes that were uploaded — the change you were told about at the time. Four comments in the code went on calling it the plaintext length. Nothing behaved that way; what was wrong was the description, and a description is what somebody reviewing our privacy claims reads. A check now refuses a comment on that value that mentions the original length without also naming the encrypted one, and six corrections of the same kind came with it.