Well, I could do it, change it to a more neutral example, then take a screenshot of your post and merge it to the repo. This would take maybe 2 hours (but I am

Well, I could do it, change it to a more neutral example, then take a screenshot of your post and merge it to the repo. This would take maybe 2 hours (but I am familiar with git). Fixing it would go very far to prove that you are sincere about the problem and isn't a hell of a lot of work. Going that far to fix it is more likely to convince him that it actually matters than anything else you could do.