Fix documentation for ssh_config host-maching rules