It's broken :) This is mildly internal for now, and needs a bunch of bug fixes before release. The behaviour I would expect for this is that the 'devtools' par

It's broken :) This is mildly internal for now, and needs a bunch of bug fixes before release. The behaviour I would expect for this is that the 'devtools' part of the path shouldn't be clickable - as there isn't any documentation markdown in that path of the repository. I'll see if I can implement this today. EDIT: fixed.