Re: rmdir deletes also non-empty directories
                Well, it says that you should not rely on 
        rmdir to remove non-empty dirs. But it does not say that it never does.