Change Help menu for bugs to github. NB need to login to add a bug report now (maybe best)