Mmm what would you think about setting options { pageTree.showPageIdWithTitle = 1 } default? I think that would make communication with editors easier. At least we set this option by default in every project.