Re: [docs] Bug in documentation of os.mkdir()