I'm new to using IRC to download files. Sometimes it goes smoothly for me (such as when the server has a number code to type in order to download the file e.g "2D"). But then, when the servers don't have a number code, I type "get <file name>. BUT then it says I need an extension on my file...