Total number of pages and edits for wiki.ros.org