Always funny to see your own name as you scroll through HN comments =). You're right, though!