https for instructions instead of ssh