#3916: fixes for docs wrt. Windows directory layout
2 files changed