BTW, what's the reason for not having a file extension?