Restore old degugging docs