Edit post #2 in String length is not what you think it is, again
Enter the management token you got when you posted. On the browser you posted from, it fills itself in.
Delete this post
Replaces the post with a short "removed by author" note. The text stays in the research archive.