what’s teh double dots for?
Sort of like a dot and a comma mixed together.. it’s a typing habit I guess.