Hi, are there any plan to move the slash option handling into the ui or util module? In 0.9.5 it is used only in the dirstate.py so the extdiff extension is not working for me. I have patched the extdiff to use the option, but it would be nice to have some central solution (like ui.path_join). teki