Initially I thought weary was the right term (more of a sad, tired dejectedness that the : character was overloaded), but I guess both words work equally well,

Initially I thought weary was the right term (more of a sad, tired dejectedness that the : character was overloaded), but I guess both words work equally well, since now I'm also a bit cautious hitting that key.