<div dir="ltr">Is there any chance we could rename either the "doc" folder or the "Doc" document? I'm doing dev on a variety of machines, and on my windows machine I can only sync one because windows isn't case sensitive.</div>