#11 looks same as this.
I guess #11's `ssh_options` is better name than `ssh_config_keywords`. Isn't it?