Closed OrelSokolov closed 10 years ago
I'm aware of that and I basically agree with your premise. But I simply don't like changing my file names to please some tool I currently happen to be using. Maybe one day GitHub will provide a setting for this. Until then, the documentation is being rendered just fine where it's supposed to be.
IMHO, it is good idea to append extension to file.