Re: What's a file extension?