I found this annoying as well, but come up with a subscript variable extension is good enough for my needs (e.g. "C_ount = ...")

There might be a more complex topology near the corner and messing with other triangles might be weird imo. I'd go with the 2nd option.

Hm... "Unity Project" -> "Half-Edge Unity"