I use the file manager a lot to organize folders and can't help but notice , sometimes I select a directory and there is the option to rename in the options menu. Other times its not there, and its back after a few retries. I can't replicate this as its very odd behavior , and highly annoying.