Yeah, I think you're right about that. I didn't bother optimizing yet, mainly because I was trying to finish it before my vacation, but also because I have doubts that users are ever going to set the root beyond the default "/".