On Apr 16, 2013 at 03:23 PM -0700, Gary Johnson wrote:
Charles wrote that changing the file extension avoids having to rewrite a _file_, not a file _name_.
Understood. My point is that I don't see how having an extra four characters at the end of the file name changes that. You still only have to change the file name...
