Details on copying public ssh PC key to EV3