Guide on how to setup integration between SSH and VScode on my university’s lab machines