Don't mention the file extension in the README