Thats a good question and thanks for using QandA platform
I think your observation is correct
It seems there is a mistake, The rmdir
command is used to remove empty directories, not non-empty ones.
I have taken a note on this and notified the team, thanks for pointing it out. ill get back to you on this with an update
If this helps kindly accept the answer thanks much.