Reporting issues page still refers to github/issues