independent change related to adding user parameter to report.show_in_navigation()