simple edit to user manual to test github IRC notifications