I’ve seen web servers push some silly file extensions, but .txt? http://is.gd/g7G0 What is the reasoning behind that?