file_exists implemented for Windows
doc updates