Given up trying to fix git problem, so adjusted documentation instead.