Gitlab has been updated. More info here and there.
Extract code from program `inst_eddies` into new procedure `input_ssh`.
