Comment by ethn

If so, that's a mistake of mine, I wrote the whole text in one go.