Temp pages_tree.json, before node navigation plugin is ready.
Small documentation update