I have a very minor but mildly irritating issue when talking to a manager who, multiple times a day, says something akin to "run the Javascript" instead of "run the script" or "git depository" instead of "git repository".
How would I go about letting them know about this politely? Should I just let it go if since I more or less know what they mean?
Edit: Manager is typically friendly but not open to feedback.