This comment is slightly confusing since it implies that the ctx will always end up after the prefix of the block comment, but in at least one case (where the comment is empty and the initial pos was inside the comment) it will actually end up before the prefix. That case seems to be okay since below we start at the current token to see if it matches the prefix, but it's worth clarifying here that that edge case is correct.