Are people really trying to cut the token counts of their manually-typed prompts? Obviously it's good to do what you can to trim skills, documentation that gets ingested, or anything which is in an automated pipeline, but trying to police your typing like this in a live chat session just seems like making yourself crazy to save a fraction of a cent.