3 ms·It’s longer than it needs to be when you’re typing it out so many timesby circuit10 3y agoIt’s longer than it needs to be when you’re typing it out so many timesbillfruit 3y agoWhat are we trying to optimize, the number of characters to type or clarity/readbility?circuit10 3y agoBoth I guess? I don’t think the extra length helps with readability at all