Sometimes when downloading files, I end up with a file like "foo.txt.txt". Sometimes I end up with just "foo" (and then manually change the extension later).
Is this a common problem with OS X? What is the cause? Are there some simple principles to follow to avoid it happening? I assume it's something to do with the way OS X doesn't actually care about file extensions, whereas Windows does.