[docs] [issue15572] Python2 documentation of the file() built-in function