Ah, my apologies. Somehow I managed to miss that part despite reading that comment and the replies several times over.

At any rate, jrockway is a known troll. Should've known better than to enter this fight.