<div dir="ltr"><div><br></div><div><div class="gmail_default" style="font-family:tahoma,sans-serif">I have now worked through finding 3 path-related bugs and fixing 2 of them, and there are still more, and I've spent 4 days worth of spare time on it.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">At this point I recommend we simply give up and revert the ninja patch, it is not worth it.</div><br></div></div>