Removing reference to github messages, which were removed a long time…