[semaphoreP]

I recall there were issues if you tried to modify those files in Windows. Maybe they've fixed that in recent updates, but my impression was that while I could see the files, I shouldn't be touching them.

[justabystander]

Yes. Updates to those files didn't seem to be reflected in bash until I'd closed and reopened the terminal.